IST Austria Courses
IST Austria logo

Formal Methods

Instructor: Krishnendu Chatterjee

Teaching Assistant: Przemek Daca, Mirco Giacobbe



We present formal modeling languages and analysis tools for discrete-event dynamical systems, with special emphasis on applications from computer science. The languages we discuss are based on mathematical logic, rewrite rules, automata, and programming constructs. The analysis methods include model checking, and graph algorithms. We give brief introductions to advanced models incorporating time, probabilities, game-theoretic aspects, and continuous behavior.





Final Grade


Schedule (subject to change)

Date Topic Location Other


File Due Date

Additional Downloads

To take a look at the additional Downloads, please click here. (you must be logged in!)