Summer Semester 2021
The recent slides will be published in Moodle during the semester. Here you can find version 2020.3 of the old slides.
For the lecture videos will be provided (links in Moodle). There is a live Q& A session every Thurdsay from 9:15-10:00. The course organization will be explained on March 11, 9:00 in Zoom.
Exercises take place virtually. Details can be found in the slides on the course organization.
Note, that the video lecture from 05. June 2014 is considered additional material only this year and has no corresponding exercise.
Thus QBF and BMC will not be topics in the exam this year.
Elevator simulation elsim.
Example implementations for EA in C: [ faimpl.zip ]
Model Checking. E. Clarke, O. Grumberg, D. Peled. MIT press, 2000.
Modal and Temporal Properties of Processes. C. Stirling. Springer, 2001.
FSMCalc: Finite State Machine Calculator, Leopold Haller, JKU, 2006.