I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Model-Checking SS 2017

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

January 20:

Model checking will be held as a block course in the time 20.3. - 7.4. every working day some time between 9 and 15. The current plan is to have two lectures in the morning and one exercise session in the afternoon. Apart from Model Checking (IN2050) you can thus also register for TutorĂ¼bung zu Model Checking (IN2050). If you have any questions, please contact me on firstname.lastname@in.tum.de
Looking forward to seeing you in the lecture,
Jan Kretinsky