Course Material

Week: 18.02-24.2
Leccture: w1-intro.pdf, w1-nd.pdf
Exercises: tutorial sheet 1, exercise sheet 1 - gcd.hs, solution1.lhs, solution1.pdf

Week: 25.02-02.03
Lecture: w2-correctness.pdf
Exercises: exercise sheet 2, solution2.lhs, solution2.pdf

Week: 04.03-09.03
Lecture: w2-lists.pdf
Exercises: exercise sheet 3, solution3.lhs

Week: 11.03-16.03
Lecture: w3.pdf
Exercises: exercise sheet 4, solution4.lhs

Week: 18.03.-22.03.
Lecture: w4.pdf
Exercises: exercise sheet 5, solution5.lhs, solution5.pdf

Week: 25.03-29.03
Lecture: w5.pdf

Week: 25.03-29.03
Lecture: w6.pdf (version 2), Haskell source code: Arithmetic Expressions and Mini-Haskell (version 2),
Exercises: exercise sheet 6, Parser.hs, solution6.lhs

Week: 8.04-12.04
Lecture: w7-monads.pdf, w7-conclusion.pdf
Exercises: exercise sheet 7, solution7.lhs, calc_skeleton.hs, Expr.hs, Parser.hs, calc.hs, calc_ext.hs, Expr_ext.hs

Week: 15.04-19.04
Lecture: 01-introduction.pdf 01-introduction-bw-2x2.pdf
Exercises: exercise sheet 8, induction on derivation trees, solution 8

Week: 22.04-26.04
Lecture: 02-IMPLanguage.pdf, 02-IMPLanguage-bw-2x2.pdf, 03-big-step-semantics.pdf, 03-big-step-semantics-bw-2x2.pdf
Exercises: exercise sheet 9, solution 9

Week: 29.04-3.05
Lecture: 04-IMP-extensions.pdf, 04-IMP-extensions-bw-2x2.pdf, 05-small-step-semantics.pdf, 05-small-step-semantics-bw-2x2.pdf
Exercises: exercise sheet 10, solution 10, simpi_onlyns.lhs

Week: 6.05-10.05
Lecture: 06-axiomatic-semantics.pdf, 06-axiomatic-semantics-bw-2x2.pdf
Exercises: exercise sheet 11, solution 11, simpi_onlysos.lhs

Week: 13.05-17.05
Lecture: 07-axiomatic-semantics-II.pdf, 07-axiomatic-semantics-II-bw-2x2.pdf
Exercises: exercise sheet 12, solution 12

Week: 20.05-24.05
Lecture: 08-modelling.pdf, 08-modelling-bw-2x2.pdf, 9-LinearTimeProperties.pdf, 09-LinearTimeProperties-bw-2x2.pdf
Exercises: exercise sheet 13, solution 13, philosophers_skeleton.pml, philosophers_no_deadlock.pml, dekker.pml, mole.pml

Week: 27.05-31.05
Lecture: 10-ModelChecking.pdf, 10-ModelChecking-bw-2x2.pdf, 11-Epilogue.pdf, 11-Epilogue-bw-2x2.pdf
Exercises: exercise sheet 14, ts.pml, ampel.pml, philosophers_no_deadlock.pml, solution 14, leader.pml, leader_channel_buffer.pml, ts-solution.pml, philosophers_no_deadlock_starvation.pml, philosophers_no_deadlock_no_starvation.pml