Formal Methods
Seminar · Bachelor / Master
- Winter Term 2026/2027
- Teachers: Erika Ábrahám, József Kovács, Jasper Nalbach
Show all terms (4 more)Hide older terms
- Summer Term 2026
- Teachers: Erika Ábrahám, Lina Gerlach, József Kovács
- Winter Term 2023/2024
- Teachers: Erika Ábrahám, László Antal, Lina Gerlach, József Kovács
- Summer Term 2023
- Teachers: Erika Ábrahám, László Antal, Lina Gerlach, József Kovács, Valentin Promies
- Winter Term 2022/2023
- Teachers: Erika Ábrahám, László Antal, Lina Gerlach, József Kovács, Valentin Promies, Nicolai Radke
Contents
The term formal methods stands for languages and methods that allow systems to be modelled precisely at certain levels of abstraction using mathematical means, to formulate requirements for them and to reliably analyse the fulfilment of these properties. In this seminar we will cover some basic topics from the field of formal methods, such as modelling languages for systems (different classes of automata for discrete, hybrid and probabilistic systems), specification languages for properties (temporal logics such as CTL*, CTL, LTL), verification techniques (bisimulation), but also techniques used in verification processes (satisfiability checking).
Prerequisites
Participants should have completed the courses on “Algorithms and Data Structures”, “Mathematical Logic” and “Linear Algebra”.
Contact: Erika Ábrahám