We present formal modeling languages and analysis tools for discrete-event dynamical systems, with applications from computer science. The languages we discuss are based on mathematical logic, automata, and graph game models. The analysis methods include model checking, and graph algorithms. We give brief introductions to advanced models incorporating probabilities, game-theoretic aspects, and continuous behavior. Note: This course is advertised as an introductory course but depending on the audience can also be held on an advanced level.

Target group: general, 1st year students

Prerequisites: Basic mathematical concepts of set theory (union, intersection etc.), and basics of probability.

Evaluation: None

Teaching format: None

ECTS: 3 Year: 2019

Track segment(s):
CS-PROG Computer Science - Programming Languages

Krishnendu Chatterjee

Teaching assistant(s):

If you want to enroll to this course, please click: REGISTER