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.
Contact
Teaching
