News
Date of third exam fixed
The third exam will be on June 16, 8:30 - 9:30
Second exam corrected
The grades will soonish be visible online. Moreover, both exam and solution are already online
Date of second exam fixed
The second exam will be on March 15, 8:30 - 9:30
First exam and solution online
Moreover, the correction is finished. The grades will be online
soonish or can be queried via your personal uibk-email-address.
Bug fixed in solution of exam 1, WS 09/10
... on the evaluation-page.
Peterson examples for Spin are available
... on the scheduling page.
Solution to last exercise is available
... on the exercise-page.
Do not forget to register for the exam until December 14, 8am.
Next Tuesday there will be an informal discussion about the whole lecture.
More details on the scheduling page.
A last exercise is available
... on the exercise-page.
New exercises are available
... on the exercise-page.
Slides of chapter 5 available
... on the schedule-page.
Correction in exercise 8
The formula in Exercise 8 has been changed, since unfortunately it has been
the example formula of the lecture.
So, one now has to construct a GNBA for G(green => (!orange /\ X (green U orange))) instead of G(req => FX resp).
So, one now has to construct a GNBA for G(green => (!orange /\ X (green U orange))) instead of G(req => FX resp).
New exercises are available
... on the exercise-page.
Slides of chapter 4 available
... on the schedule-page.
First exercises are available
... on the exercise-page.
Slides of chapter 3 available
... on the schedule-page.
Slides of chapters 1 and 2 available
... on the schedule-page.
Online registration required
For this course one has to
register online until October 30
News system
This is the entry-site for the Introduction to Model Checking lecture. Check
this website regularly for news.
For anonymous comments you can use the feedback page. If you have any
question, do not hesitate to write me an email, or to visit my office.
To access the slides which are used in the lecture, visit the schedule page.