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

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.