en | de

Model Checking

master program

VO2  SS 2008  703521

News

Oct 7: Third exam is corrected.
More details on the evaluation page.
Aug 25: Date of third exam fixed to October 7.
More details on the evaluation page.
Jun 6: First exam corrected
The results are available on the evaluation page.
Jun 5: First exam and solution available
... on the evaluation page.
Jun 4: Corrected slides available
There was a typo on slide 36 about the clock regions (α(x) = α(y) should read α(x) = β(x)).
May 15: Date of 1st exam fixed
Details about 1st exam and link to registration are on the evaluation page.
May 13: New slides available
The slides about real-time systems and timed CTL are now completed.
May 13: The last exercise
... has been added.
May 8: Corrected slides available
The typos on slide 8 about timed automata have been fixed.
May 6: Corrected slides available
The typo on slide 46 about the release-operator has been fixed.
Apr 29: Corrected slides available
The typo on slide 43 about simulation equivalence has been fixed. Moreover, the old slide 44 of the non-presented proof has been removed.
Apr 15: New slides available for the upcoming lectures
... on the scheduling-page.
Apr 9: Implementation of the on-the-fly non-emptyness check now available
... on the new tools page.
Apr 8: A new benefit of solving exercises
... is explained on the exercises-page.
Apr 8: Corrected slides available
The typos on slides 8 and 29 of the μ-calculus have been fixed.
Mar 11: First exercises available
... on the new exercises-page.
Mar 11: New slides available
The slides of week 2 (pages 10 and 18) have been updated.
Mar 4: Additional Thursday Lectures
It was decided that some of the lectures at the end of the lecture period are shifted to an additional lecture-slot on Thursdays, 12:15-13:45, HS 10. It will be announced on the website and in the lectures on which Thursdays there will be a lecture. The first Thursday lecture is on March, 13.
Mar 4: Registration required
One has to register for this lecture until March 14, 10am.
Feb 28: Please printout slides before the lecture
The slides of the first lecture are online on the schedule-page. To add comments that are given during the lectures it is advisable to printout the slides before the corresponding lecture.
Dec 12: News system
Check this site regularly for updates.