Folien
Die Folien werden im Laufe des Semesters verfügbar gemacht.
| Themen | Folien | Quelltext |
|---|---|---|
| Part 1: Introduction | ||
| Part 2: A Logic for Program Specifications | ||
| Part 3: Semantics of Functional Programs | ||
| Part 4: Checking Well-Definedness of Functional Programs | ||
| Part 5: Reasoning about Functional Programs | ||
| Part 6: Verification of Imperative Programs | ||
| Part 7: Certification | ||
| Part 8: Summary and Outlook |
Evaluation
Eine alte Klausur wird am 15. Juni zu Übungs-Zwecken in der Vorlesung besprochen.
Die 1. Klausur findet am 22. Juni statt (closed book).
Eine 2. und 3. Klausur werden bei Bedarf im September und Januar angeboten.