Summer Semester 2018
First lecture on Thursday, March 8, 08:30 - 10:00, in HS
The slides will not be complete until the end of the lecture.
There is no script nor book available at this point.
The lecture takes place on Thursday morning from 8:30 to 10:00.
Exercises are later on the same day.
Exercises take place on Thursdays. Please consult the KUSSS page of this course for times, rooms and group assignments. Details on the organization can be found below.
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.