Model-Checking SS 2019 | ||
News | Basic information | Content | Exercises | Slides | Links | Exam |
Lectures
Location: 03.09.014 SeminarraumTutorials
Time: Mondays, 10:00 - 12:00 and Thursdays, 10:00 - 12:00
The first lecture will take place on 25.04.2019.
Location: 03.09.014 SeminarraumInstructors
Time: Thursdays, 14:15 - 15:45
The first tutorial will take place on 25.04.2019
Lectures: Javier Esparza Tutorials: 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.