Model-Checking SS 2018 | ||
News | Basic information | Content | Exercises | Slides | Links | Exam |
Lectures
Location: 00.08.038 SeminarraumTutorials
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 SeminarraumExam
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.Instructors
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.