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.
To take a look at the additional Downloads, please click here. (you must be logged in!)