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

Location: 00.08.038 Seminarraum
Time: Tuesdays, 12:15 - 13:45 and Wednesdays, 08:30 - 10:00

The first lecture will take place on 10.04.2018.

Location: 03.09.014 Seminarraum
Time: Thursdays, 14:05 - 15:35

The first tutorial will take place on 12.04.2018
The final exam will take place on 24.07.2018 from 11:00 to 12:30.

Lectures: Javier Esparza
Tutorials: Pranav Ashok and Michael Blondin

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