en | de

Introduction to Model Checking

master program

VO1  WS 2011/2012  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 exam (solution) was on Dec 14. The corrected exams can be reviewed in my office.

The second exam (solution) was on March 27. The corrected exams can be reviewed in my office.

The third exam (solution) was on June 14. The corrected exams can be reviewed in my office.

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!