I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Model-Checking SS 2018

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

July 23, 2018

Recall that the exam is taking place tomorrow (Tuesday July 24) from 11:00 to 13:00 in room 5620.01.102. More details here.

July 14, 2018

As observed during the last class, there are inconsistencies between the definition of Sub(ψ) in the slides and in the exam of 2015. The reason is that the translation from LTL to Büchi automata has slightly changed since 2015. The correct definition to use is the one of the slides. We apologize for the confusion.

July 10, 2018

The paper on bounded model checking discussed today in class is available here.

July 5, 2018

Exercise sheet #11 is online.

July 4, 2018

The class of Wednesday July 11 will be a tutorial. On Thursday July 12, we will go through the past exam of 2015.

July 4, 2018

Exercise sheet #12 is online.

June 19, 2018

Exercise sheet #9 is online.

June 6, 2018

Exercise sheet #7 is online.

May 22, 2018

Exercise sheet #6 and #8 are online.

May 16, 2018

Exercise sheet #5 is online.

April 26, 2018

Exercise sheet #4 is online.

April 24, 2018

Exercise sheet #3 is online. Please bring your laptops for the exercise session on Thursday, 26.04.

April 19, 2018

From now on, the tutorials will start at 14:05 instead of 14:00.

April 18, 2018

The paper discussed in class on the verification of Needham-Schroeder's cryptographic protocol, including the Prolema modeling, can be found here.

April 13, 2018

Exercise sheet #2 is online.

April 12, 2018

Exercise sheet #1 is online.

March 26, 2018

Course page created.