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)
   

Recordings

The lecture will be recorded and the recordings are available in OLAT.