Programmverifikation

Folien

Die Folien werden im Laufe des Semesters verfügbar gemacht.

1. Introduction (4 on 1)
2. A Logic for Program Specifications (4 on 1)
3. Semantics of Functional Programs (4 on 1)
4. Checking Well-Definedness of Functional Programs (4 on 1)
   SMT2-file to search a polynomial interpretation using Z3
5. Reasoning about Functional Programs (4 on 1)
   
6. Verification of Imperative Programs (4 on 1)
   
7. Summary and Outlook (4 auf 1)
   

Eine alte Klausur wird am 23. Juni in der Vorlesung besprochen.

Hier gibt es die 1. Klausur, die Lösung ist in OLAT verfügbar.