Summer Semester 2020
First lecture on Thursday, March 5, 08:30 - 10:00 in
Here you can find version 2020.3 of the slides.
The lecture took place on Thursday morning from 8:30 to 10:00 until we switched to an online only mode.
Exercises take place virtually through Moodle with two question and answer sessions each Thursday.
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.