en | de

Model Checking

master program

VO2  SS 2010  703521

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.

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!