Seminar: Theorie der Programmierung

Das Seminar behandelt aktuelle Techniken zur Modellierung rechnergestützter Systeme (Prozessalgebren, logikbasierte Methoden, Petrinetze), entsprechende Analysetechniken (temporale Logik, Invarianten, strukturelle Techniken) und Verfahren zum systematischen Entwurf (rely/guarantee, assume-commit, kompositionale Spezifikation, hierarchisches Verfeinern).

Zum Seminar