Formal Models

Summer Semester 2017

Armin Biere, Daniela Ritirc, Martina Seidl


Exercises start on March 16
Details on the course organization of the exercises: Course Organization

First lecture on Thursday, March 9, 08:30 - 10:00, in HS 19.


Here you can find the 2017.1 of the slides

The slides will not be complete until the end of the lecture.

The old German version is slightly out-dated but also still available as Foliensatz.

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 on the same day in the afternoon.


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.

Lecture Videos (from Summer Semester 2014)


BMC Examples.

Elevator simulation elsim.

Example implementations for EA in C: [ ]

Fast pattern matcher: posting, code.

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.