Model-Checking SS 2014

News | Basic information | Content | Exercises | Slides | Links

17. July 2014:

The questions of the exam can be found here, and a possible solution to the exercises is here.

10. July 2014:

The exam will take place on the 11 of July from 12:00 to 13:30 in room MI 02.13.010

3. June 2014:

Due to some schedule problems, during the rest of the course lectures and exercises will take place in the following days:

• Lectures: 13.6 , 16.6 , 17.6 , 23.6 , 27.6 , 1.7 , 4.7.
• Exercises: 20.6 , 30.6 , 7.7 , 8.7.

The rooms are as usual: Mondays and Tuesdays in HS2, Fridays in 03.09.014. There is a problem with the lecture on 24.6, which will be discussed during the class of June 13.

17. March 2014:

The slides for the course are available under "Slides".

17. March 2014:

Creation of the website.