en | de

Introduction to Model Checking

master program

VO1  WS 2009/2010  703503

Evaluation

The first exam is corrected. One can download the results and the solution. During my consultation hours one can review the corrected exams.

The second exam is corrected. One can download the results and the solution. During my consultation hours one can review the corrected exams.

The third exam is corrected. One can download the results and the solution. During my consultation hours one can review the corrected exams.

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 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!