Formal Methods
Proseminar · Bachelor
- Winter Term 2025/2026
- Teachers: Erika Ábrahám, László Antal, József Kovács
Show all terms (5 more)Hide older terms
- Winter Term 2024/2025
- Teachers: Erika Ábrahám, László Antal, Lina Gerlach, József Kovács
- Summer Term 2022
- Teachers: Erika Ábrahám, László Antal
- Winter Term 2021/2022
- Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach, László Antal
- Summer Term 2021
- Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach
- Winter Term 2020/2021
- Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach
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 proseminar 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).
Inhalt
Der Begriff formale Methoden steht für Sprachen und Methoden die es erlauben, Systeme auf bestimmten Abstraktionsebenen mit mathematischen Mitteln präzise zu modellieren, Anforderungen an sie zu formulieren und die Erfüllung dieser Eigenschaften zuverlässig zu analysieren.
In diesem Proseminar behandeln wir einige grundlegende Themen aus dem Bereich der formalen Methoden, wie zum Beispiel Modellierungssprachen für Systeme (unterschiedliche Klassen von Automaten für diskrete, hybride und probabilistische Systeme), Spezifikationssprachen für Eigenschaften (temporäre Logiken wie z.B. CTL*, CTL, LTL, MTL, Hyperproperties), Verifikationstechniken (Deduktion, Model Checking, Bounded Model Checking), aber auch Techniken die in Verifikationsprozessen Verwendung finden (Satisfiability Checking).