Program Verification

Slides

The slides will be made avaiable during the semester.

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.