Beskjeder

Publisert 10. apr. 2006 15:55

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

Publisert 31. mars 2006 01:24

Mandatory assignment 2 is due May 9th 2006.

Click here to get the Promela model for Exercise 1.

Publisert 3. mars 2006 14:51

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

Publisert 22. feb. 2006 16:05

Mandatory Assignment 1 is due March 15th 2006.

Publisert 2. feb. 2006 16:44

Slides from lecture 2 are available.