Formal Methods

Formal modeling languages and analysis tools for discrete-event dynamical systems will be presented, 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.

Target group: 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: 2021

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

Teacher(s):
Krishnendu Chatterjee

Teaching assistant(s):

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