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 |