en | de

Introduction to Model Checking

master program

VO1  WS 2007/2008  703503

Evaluation

The third exam is corrected. On April 30, 8:00 - 8:30, 9:00 - 10:00 one has the opportunity to review the corrected exam in room 3N01 (Student identity card is required). One can download the results and the solution.

The second exam is corrected. On February 28, 15:00-16:00 one has the opportunity to review the corrected exam in room 3W04 (Student identity card is required). One can download the results and the solution.

The first exam is corrected. On February 4, 14:00-15:00 one has the opportunity to review the corrected exam in room 3W04 (Student identity card is required). One can download the results and the solution.

The exam 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 given at the end of most lectures can be used to prepare for the exam, but they are not necessarily restricting the topics that are in the exam.