Slides
The slides will be made avaiable during the semester.
- Introduction (4 on 1)
- A Logic for Program Specifications (4 on 1)
- Semantics of Functional Programs (4 on 1)
-
Checking Well-Definedness of Functional Programs
(4 on 1)
SMT2-file to search a polynomial interpretation using Z3 -
Reasoning about Functional Programs
(4 on 1)
-
Verification of Imperative Programs
(4 on 1)
-
Summary and Outlook
(4 auf 1)
Recordings
The lecture will be recorded and the recordings are available in OLAT.