IST Austria Courses
IST Austria logo

Formal Methods

Instructor: Krishnendu Chatterjee

Teaching Assistant: Przemek Daca, Mirco Giacobbe

Description

 

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.


Requirements/Exams

 


Credits

 


Final Grade

 

Schedule (subject to change)

Date Topic Location Other

Homework

File Due Date

Additional Downloads

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