Softwarequalität 1 ist keine zwingende Voraussetzung für diese Vorlesung!
Dozent: Dr.-Ing. Thomas Thüm
Betreuer: Tobias Runge, M.Sc.
Modulnummer: INF-SSE-38
Veranstaltungsnummer: INF-SSE-050 / INF-SSE-051
Formale Methoden bezeichnen Methoden für den Systementwurf oder die Systemanalyse und Implementierungstechniken, die mit mathematischer Exaktheit beschrieben werden. Das Ziel ist es, Systeme zu konstruieren, die sich mit hoher Zuverlässigkeit gemäß ihrer Spezifikation verhalten. Diese Lehrveranstaltung führt theoretisch und praktisch die beiden wichtigsten Arten der formalen Methoden für die Analyse von Programmen ein: Software Model Checking und deduktive Verifikation.
Die Vorlesung beschäftigt sich mit folgenden Themen:
Die Vorlesungsunterlagen werden ausschließlich im Stud.IP hochgeladen.