Eine zunehmend auch von der Industrie eingesetzte Technik zur Aufdeckung versteckter Fehler in Hard- und Softwaresystemen ist das sogenannte Model-Checking. Ein Model Checker überprüft automatisch, ob ein Modell eines Systems eine gewünschte, typischerweise in einer temporalen Logik spezifizierte Eigenschaft besitzt. Die Vorlesung behandelt die verschiedenen Ansätze zur Konstruktion von Model-Checkern sowie theoretische und praktische Fragestellungen im Umfeld dieser Methode.
Die Vorlesung richtet sich an Masterstudierende im Haupt- und Nebenfach Informatik.
Die erste Vorlesung ist am Freitag, den 13.10.2023 um 12:15 Uhr.
- Lehrende/r: Roman Lakenbrink
- Lehrende/r: Markus Müller-Olm
- Lehrende/r: Christoph Ohrem
Semester: WT 2023/24