1. The mandatory assignment 2 will be presented at any agreed date after you deliver it (by 9.05.06) instead on 10.05.06 as before
2. The exam will be Friday 02.06.06 at 10.00
Mandatory assignment 2 is due May 9th 2006.
Click here to get the Promela model for Exercise 1.
Notice that there is no lecture the 15.03.06 (The hand-in date for Mandatory Assignment 1 has not changed!)
Check the "undervisningsplan"; the lectures have been re-scheduled
Mandatory Assignment 1 is due March 15th 2006.
Slides from lecture 2 are available.