en | de

Model Checking

master program

VO2  SS 2011  703521

News

Jul 12: Exam and solution are available ...
... on the evaluation-page.
Jun 16: New exercises are available ...
... on the exercise-page.
Jun 14: Slides of Chapter 5 available ...
... on the schedule-page.
May 25: New exercises are available ...
... on the exercise-page.
May 17: Slides of Chapter 4 available ...
... on the schedule-page.
May 11: New exercises are available ...
... on the exercise-page.
May 9: Lecture shift
The lecture on June 1 will be shifted to June 16, 10:15-11:45, HS 10
May 4: New exercises are available ...
... on the exercise-page.
Apr 14: New exercises are available ...
... on the exercise-page.
Apr 5: Slides of Chapter 3 available ...
... on the schedule-page.
Mar 25: New exercises are available ...
... on the exercise-page.
Mar 16: New exercises are available ...
... on the exercise-page.
Mar 15: First exercises are available ...
... on the exercise-page.
Mar 15: Slides of Chapter 2 available ...
... on the schedule-page.
Mar 8: Slides of Chapter 1 available ...
... on the schedule-page.
Jan 14: News system
Check this site regularly for updates.