Reading assignments
As a preparation for the first lecture we suggest reading An introduction to model checking by Girish Keshav Palshikar.
Homework assignments
| Subject | hand out | hand in |
|---|---|---|
| Homework 1: Automata, temporal logic (20
marks). Posted on forum. |
18/03 | 27/03 |
| Homework 2: Protocol verification. (30
marks) Posted on forum. |
07/04 | 02/05 |
| Homework 3: Software verification. (30
marks) Posted on forum |
12/05 | 23/05 |
| Homework 4: Comprehension and Timed Automata. (20
marks) Posted on forum |
03/06 | 08/06 |