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