en | de

Introduction to Model Checking

master program

VO1  WS 2010/2011  703503

Evaluation

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.

The first (written and closed book) exam (solution) was on Dec 15. The corrected exams can be reviewed on Dec. 16 and 17, or during my office hours in the new year.

The second exam (solution) was on March 15. The corrected exams can be reviewed during my office hours.

The third exam (solution) was on June 16. The corrected exams can be reviewed during my office hours.

To prepare for an exam it is a good idea to have a look at previous exams of last years. First try to solve these exams without the solution!

Note that some of the algorithms have slightly been changed between the various courses. For example there are differences in the LTL -> GNBA translation and in the CTL* model checking algorithm in comparison to WS 07/08. So the solutions are not necessarily valid w.r.t. this course!