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 | ||
| Part 6: Verification of Imperative Programs | ||
| Part 7: Certification | ||
| Part 8: Summary and Outlook |
Evaluation
Die 1. Klausur findet am 23. Juni statt (closed book). Eine 2. und 3. Klausur wird auf Nachfrage angeboten.