en | de

Model Checking

master program

VO2  SS 2011  703521

Evaluation

To learn for an exam it might be useful to have a look at previous exams (2008, 2009).

The first (written and closed book) exam (solution) was on July 6, 8:30-10:30 in HS 10.

If there is demand for a second or third exam, just contact me.