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