Formale Methoden der Informatik
Modulnummer:
1101310
Leistungspunkte:
6 ECTS
Lehrveranstaltungen:
- Vorlesung Formale Methoden der Informatik (3 SWS)
- Übung Formale Methoden der Informatik (1 SWS)
Prüfung:
Klausur (120 min) oder mündliche Prüfung (20 min)
Prüfungsvorleistungen:
Lösen von Übungsaufgaben
Inhalt:
Semantik:
- Operationelle Semantik einer Programmiersprache und Anwendung für beweisbar korrekte Übersetzungen
- Denotationelle Semantik und Anwendung in der statischen Programmanalyse
- Axiomatische Semantik und Anwendung in der Programmverifikation
Formale Spezifikationstechniken:
- Prozessalgebra und Pi-Kalkül
- State Charts
- Abstract State Machines
- Petrinetze
- Temporal Logic of Actions (TLA)
- Z
- Life Sequence Charts und Behavioral Programming
- CASL