News
June 23: Third exam corrected
The results are available from the evaluation page.
May 17: Date of third exam fixed
The third exam will be on June 15. More details
on the evaluation page.
Mar 17: Second exam corrected
The second exam and the results are online
on the evaluation page.
Feb 19: Date of second exam fixed
The second exam will be on March 16. More details
on the evaluation page.
Jan 14: First exam corrected
The first exam, the solution, and the results are online
on the evaluation page.
Dec 22: Spin examples online
The examples that have been used to demonstrate Spin and that
where discussed in the exercises are available in
this archive.
Dec 10: New exercises are available
On the exercises page.
Dec 10: Date of first exam changed
As a result of the voting the first exam will now be on January 13, 12:15 - 13:15. One has to register
for the exam, details are on the evaluation page.
Dec 7: Slides of Chapter 5 online
On the scheduling page.
Nov 30: No lecture on Dec 2
There is no lecture on Dec 2 due to personal reasons. A
replacement slot will soonish be searched for.
Nov 24: New exercises are available
On the exercises page.
Nov 19: Solutions to exercises 1 - 7 online
Since not all students had time on the replacement slot for the exercise discussion,
the solutions to the first exercises are now online.
Nov 16: Slides of Chapter 4 online
On the scheduling page.
Nov 6: Replacement lectures fixed
There will be lectures on Friday, Nov 13, 16:15 - 17:15 (HS F) and Tuesday, Nov 17, 16:15 - 17:15 (HS E).
Nov 3: No lecture on November 4 and 25
Due to personal reasons these lectures have to be dropped.
However, there is a list
of replacement slots. The most convinient slots will be announced soonish.
Oct 30: New exercises are available
On the exercises page.
First exercises are available
On the exercises page.
First lecture
The first lecture will be on October 14.
News system
This is the entry-site for the Introduction to Model Checking lecture. Check
this website regularly for news.
For anonymous comments you can use the feedback page. If you have any
question, do not hesitate to write me an email, or to visit my office.
To access the slides which are used in the lecture, visit the schedule page.