Model-Checking SS 2017

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

Dates: March 20 - April 7, 2017, all working days (Mondays - Fridays)
Locations:

Lectures: 9:00 - 12:30 (with breaks), 1st week in HS3, 2nd and 3rd week in 00.13.009A
Tutorials: 13:00 - 14:30 in 03.09.014 (information about this in TUMonline is not updated)

The exam should take place shortly after the course.

Lecturer:	Jan Křetínský
Exercises:	Pranav Ashok and Tobias Meggendorfer

Note that it is not necessary to have taken the course "Automata and Formal Languages" for enrolling on this course.