Introduction to Model Checking
VO1 WS 2008/2009 703503
The exams can cover all the material of the lecture including the blank parts on the slides which have only been presented during the lectures. The exercises can be used to prepare for the exam, but they are not necessarily restricting the topics that are in the exams.
To prepare for an exam it is a good idea to have a look at the previous exams of last year. First try to solve these exams without the solution!