Formale Modelle

Summer Semester 2010

Armin Biere, Robert Brummayer, Florian Lonsing


2nd exam Friday 29th October, 10:15 - 11:45, HS 2.

Previously announced exam on Thursday 24th canceled,
due to overlap with computer architecture class.

This summer we switched to English as teaching language.


Here you can find version 2010.12 of the slides in English. The slides will not be complete until the end of the lecture.

The old German version is still available as Foliensatz.

There is no script nor a book at this point.


The lecture takes place on Thursday morning from 8:30 to 10:00 in HS 7. Exercises are on the same day in the afternoon.


Exercises will start on March 4th with a preliminary meeting.

Exercises take place on Thursdays. Please consult the KUSSS page of this course for times, rooms and group assignments.

Grading in exercises is based on quality of written homeworks and presentations in class. There is no final exam. Please see also information about course organization below.


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.