Ausgewählte Themen aus dem Gebiet der Formalen Methoden der Softwareentwicklung werden in der Vorlesung vorgestellt und in der Übung vertieft. Der mathematische Hintergrund der vorgestellten Methoden wird behandelt und ihre praktische Anwendung wird anhand prototypischer Beispiele diskutiert. Mögliche Themen sind u. a.: Petrinetze und ihre Analyse, Methoden zur formalen Spezifikation des funktionalen Verhaltens, Programmverifikation, Programmanalyse, Semantik von Programmiersprachen, automatisches Theorembeweisen.

Kurs im HIS-LSF