The exercises will be published before the first lecture on the topic of the exercise. After the exercise class we publish sketches of the solutions.

Exercises Week 2 (Promela)

Exercises Week 3 (Concurrency, Channels)

Exercises Week 4 (Temporal Model Checking)

Exercises Week 5 (First-Order + JML)

Exercises Week 6 (Dynamic Logic)

Exercises Week 7 (Verification)