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.
Teaching format: None
ECTS: 3 Year: 2019
CS-PROG Computer Science - Programming Languages
If you want to enroll to this course, please click: REGISTER