Folien
Die Folien werden im Laufe des Semesters verfügbar gemacht.
| Themen | Folien | Quelltext |
|---|---|---|
| Part 1: Introduction | pdf (x4) | |
| Part 2: A Logic for Program Specifications | pdf (x4) | |
| Part 3: Semantics of Functional Programs | pdf (x4) | Demo.thy |
| Part 4: Checking Well-Definedness of Functional Programs | pdf (x4) | |
| Part 5: Reasoning about Functional Programs | pdf (x4) | Demo.thy |
| Part 6: Verification of Imperative Programs | pdf (x4) | Demo.thy |
| Part 7: Certification | pdf (x4) | |
| Part 8: Summary and Outlook | pdf (x4) |
Evaluation
Eine alte Klausur wird am 16. Juni zu Übungs-Zwecken in der Vorlesung besprochen.
Die 1. Klausur (A.pdf, B.pdf, Lösungen in OLAT) fand am 23. Juni statt (closed book). Die 2. Klausur findet am 12. September geplant. Eine 3. Klausur wird auf Nachfrage angeboten.