Folien
Die Folien werden im Laufe des Semesters verfügbar gemacht.
- 1. Einführung (4 auf 1)
- 2. Eine Logik für Programm-Spezifikationen (4 auf 1)
- 3. Semantik von Funktionalen Programmen (4 auf 1)
-
4. Überprüfung der Wohl-Definiertheit von Funktionalen Programmen
(4 auf 1)
Haskell-Code zu Beginn und Ende der Demo
SMT2-file zur Suche einer Polynom-Interpretation mittels Z3. -
5. Verifikation von Eigenschaften Funktionaler Programme
(4 auf 1)
-
6. Verifikation von Imperativen Programmen
(4 auf 1)
-
7. Zusammenfassung und Ausblick
(4 auf 1)