en | de

Model Checking

master program

VO2  SS 2009  703521

News

Jun 9: All infos about the first exam are online.
If you want to have look at the corrected exam, just come to my office until Jun 15. Afterwards the grades will be entered.
May 5: The date of the first exam is fixed to May 29, 12:30-14:30
Details on the evaluation page.
May 5: The final version of the exercises is available
... on the exercises page.
Apr 30: More exercises are available
... on the exercises page.
Apr 23: More exercises are available
... on the exercises page.
Apr 22: Slided of Chapter 5 online
... on the scheduling page.
Mar 26: More exercises are available
... on the exercises page.
Mar 25: Slided of Chapter 4 online
... on the scheduling page.
Mar 19: More exercises are available
... on the exercises page.
Mar 17: Slides of Chapter 3 online
... on the scheduling page
Mar 16: Additional lectures on Wednesdays
The Wednesday lectures start on March 17 at 15:00, the room is HS 11.
Mar 6: Slides of Chapter 2 online
... on the scheduling page
Jan 14: Registration required
One has to register for this lecture between February 1, 8am until March 13, 8am.
Jan 14: News system
Check this site regularly for updates.