en | de

Introduction to Model Checking

master program

VO1  WS 2008/2009  703503

Evaluation

The first exam is corrected. One can download the results and the solution.

The second exam is corrected. One can download the results and the solution.

The third exam is corrected. One can download the results and the solution.

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!

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