Formal Methods for Software Development TDA294/DIT271, LP1, HT2019

Weekly Exercises

The titles of the exercises shown below are preliminary and subject to change.

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)

Exercise 2

Exercises Week 3 (Concurrency, Channels)

Exercise 3

Exercises Week 4 (Temporal Model Checking)

Exercise 4

Exercises Week 6 (First-Order + JML)

Exercise 5

Exercises Week 7 (Dynamic Logic)

Exercise 6

Exercises Week 8 (Verification)

Exercise 7




W. Ahrendt, Jul 17, 2019