News
3rd exam
The third exam is on June 14. More details on the evaluation page.
Exam corrected
The second exam is corrected. Both the exam and the solution are online. The grades should be online soonish.
Date of 2nd exam fixed
The second exam will be on March 27, 8:45-9:45. Details on the evaluation page
Exam corrected
The first exam is corrected. Both the exam and the solution are online. The grades should be online soonish.
Last exercise available
... on the exercise page for material of chapter 5. Moreover, all solutions are online.
Slides of Chapter 5 updated
The slides of chapter 5 now contain the examples and proofs from
the blackboard.
Time of exam fixed
The exam will take place as announced on December 14, but the time will be from 11:15-12:15.
One has to register for the exam. Details are on the evaluation page
New exercises available
... on the exercise page. Moreover, solutions to exercises 1-7 are online.
Slides of Chapter 5 available
... on the schedule page. Moreover, chapter 3 is now available as full version and
the examples of chapter 4 are online
New exercises available
... on the exercise page.
Slides of Chapter 4 available
... on the schedule page.
New exercises available
... on the exercise page.
Slides of Chapter 2 updated
The slides of chapter 2 now contain the examples and proofs from
the blackboard.
First exercises available
... on the exercise page.
Slides of Chapter 3 available
... on the schedule page.
Slides of Chapters 1 and 2 available
... on the schedule page. Note that there was a error
on slide 4, chapter 1: the lecture is from 14:15-15:45 as
written on the webpages and in VIS online
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.