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

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

July 29, 2019

Updated solution of Ex 3.1 (c); marked final state correctly in Ex 4.3; added solution to Ex 10.4.

July 28, 2019

Deadline of Part 3 of the Implement a Model Checker exercise extended to 04.08.2019.

July 25, 2019

New version of the slides with slides 498-499 on pushdown systems corrected

July 24, 2019

New version of the slides with typos corrected under the usual link

July 07, 2019

Exercise Sheets 9, 10 and 11 are up. Sheet 9 would be discussed on 8th July, Sheet 10 on 11th July and Sheet 11 on 18th July. The exam of SS2018 would be discussed on 25th July, which would also be the last tutorial session.

June 26, 2019

Exercise Sheet 8 is now online.

June 11, 2019

Exercise Sheet 7 on CTL is up!

June 8, 2019

Part 2 of the Implement a Model Checker exercise is now online.

June 6, 2019

An error in page 142 has been corrected (condition for the R operator). The slides for the chapter on partial order reduction have been slightly rewritten to make some formulations clearer.

June 4, 2019

Exercise Sheet 6 is online.

May 27, 2019

Exercise Sheet 3 has been updated to reflect some notation changes as well as inaccuracies in the solution.

May 24, 2019

Upated the README of Implement a Model Checker to include some tips on the algorithm to be used.

May 22, 2019

Flash news! We are launching a new bonus exercise: Implement a Model Checker. You will get a chance to build your own little on-the-fly model checker in 2 months.

May 15, 2019

Exercise Sheet 4 is online.

May 07, 2019

Exercise Sheet 3 is up!

May 02, 2019

Tutorial sessions from May 9th onwards would be held from 14:15 to 15:45.

Exercise Sheet 2 is now online.

April 29, 2019

The slides for the course are online.

April 23, 2019

Exercise Sheet 1 is now available.

April 11, 2019

Course page created.