Formal Methods: Algorithmic Approaches

We present formal modeling languages and analysis tools for discrete-event dynamical systems, with applications from computer science. We will discuss algorithmic approaches to classical models in formal methods. We will present approaches for graph models, as well as advanced models, that incorporate probabilistic aspects and game-theoretic aspects.

Target group: Students interested in formal methods and algorithmic approaches in verification.

Prerequisites: Basic mathematical concepts, basic of algorithms, and basics of probability.

Evaluation: Homeworks and student presentation

Teaching format: Online lectures followed by student presentations in the end.

ECTS: 3 Year: 2023

Track segment(s):
Elective

Teacher(s):
Krishnendu Chatterjee

Teaching assistant(s):
Ali Asadi

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