Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Model-Checking SS 2020

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

August 16, 2020

As previously announced, the exam on Aug 17 and 18 is held in the standard BBB room.

August 05, 2020

The exam will be oral mostly but you might be asked to type stuff occasionally which can be done easily in BBB. Also, you might be asked to draw something but since we can't expect everyone to have a tablet, it will be such that it is doable with a mouse.

July 28, 2020

Information regarding the exam ahs been updated. Slides have been updated, fixing typos mainly in the part after POR.

July 19, 2020

Recording for all the tutorials are now available and we'll have a doubt session on 23.07.2020.

July 12, 2020

Exercise sheet 12 is now available.

July 11, 2020

Exercise sheet 11 is now available.

July 06, 2020

For exercises 5.3 and 5.4, only watch the tutorial named "Exercises 5.3 and 5.4" and ignore the things said in Tutorials 5 and 6.

July 04, 2020

Exercise sheet 10 is now available.

June 30, 2020

Exercise sheet 9 is now available.

June 26, 2020

Information ragarding the exam is updated and solutions to tutorial 7 and 8 are now available.

June 22, 2020

Exercise sheet 8 is now available.

June 15, 2020

Exercise sheet 7 is now available.

June 13, 2020

Slides have been updated, fixing typos up to and including the POR chapter.

June 1, 2020

Exercise Sheet 6 is now available.

May 19, 2020

Exercise Sheet 5 is now available.

May 11, 2020

Exercise Sheet 4 is now available.

May 04, 2020

Exercise Sheet 3 is now available.

April 28, 2020

Exercise Sheet 2 is now available.

April 27, 2020

As a consequence of current circumstances and the corona regulations, lectures on Monday and Tuesday this week cannot be given live and are pre-recorded. You can find it on the lecture bbb webpage: instead of joining you can view the recorded session. To remedy the resulting quality and the shorter span of the lecture, a short live session at 13:00 for your questions will be held.

April 21, 2020

Exercise Sheet 1 is now available. First tutorial will take place on April 23 and it will be online (here), send an email to grover@in.tum.de for the access code.

April 19, 2020

The first lecture will take place on Tuesday, April 21, as announced in TUMonline. However, for obvious reasons, lectures and tutorials do not take place in 03.09.014 but will be streamed online here.

March 19, 2020

Course page created.