en | de

Model Checking

master program

VO2  SS 2012  703521

Description

In summer term 2012 this course is tightly coupled with the courses on theory and practice of decision procedures.

Schedule

week date exercises
1 07.03 (lecture)
2 14.03 pdf
3 21.03 pdf
4 28.03 pdf
5 18.04 pdf
6 25.04 pdf
7 02.05 (lecture)
8 09.05 pdf
9 16.05 pdf
10 23.05 pdf
11 30.05 pdf
12 06.06 pdf
13 13.06 pdf
14 20.06 pdf
15 27.06