Korrekte Software: Grundlagen und Methoden
Vorlesungsfolien
Die Vorlesungsfolien sind jeweils verfügbar als ganzseitiges PDF zum Betrachten, oder als 8:1 Handzettel ohne Effekte zum Drucken:
- Alle Vorlesungen in einer Datei: [Folien] [Handzettel]
- Vorlesung vom 06.04.17 — Einführung: Folien, Handzettel, Quellen
- Vorlesung vom 10.04.17 — Die Floyd-Hoare-Logik: Folien, Handzettel
- Vorlesung vom 20.04.17 — Operationale Semantik: Folien, Handzettel
- Vorlesung vom 24.04.17 — Denotationale Semantik: Folien, Handzettel
- Vorlesung vom 04.05.17 — Äquivalenz der Operationalen und Denotationalen Semantik: Folien, Handzettel
- Vorlesung vom 14.05.17 — Korrektheit der Floyd-Hoare-Logik: Folien, Handzettel
- Vorlesung vom 18.05.17 — Vorwärts und Rückwärts mit Floyd und Hoare: Folien, Handzettel
- Vorlesung vom 22.05.17 — Funktionen und Prozeduren: Folien, Handzettel
- Vorlesung vom 01.06.17 — Referenzen und Speichermodelle: Folien, Handzettel, Quellen
- Vorlesung vom 12.06.17 — Verifikationsbedingungen Revisited: Folien, Handzettel, Quellen
- Vorlesung vom 19.06.17 — Vorwärtsrechnung Revisited: Folien, Handzettel, Quellen
- Vorlesung vom 26.06.17 — Programmsicherheit und Frame Conditions: Folien, Handzettel
- Vorlesung vom 05.07.17 — Rückblick \& Ausblick: Folien, Handzettel