Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2014

Weekly Exercises

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 6

Exercises Week 7 (Dynamic Logic)

Exercise 7

Exercises Week 8 (Verification)

Exercise 8




Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt , Oct 17, 2014