Korrekte Software: Grundlagen und Methoden
Vorlesungsfolien
Hier werden die Unterlagen zur Vorlesung zur Verfügung gestellt.
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 21.04.20 — Einführung: Folien, Handzettel
- Vorlesung vom 28.04.20 — Operationale Semantik: Folien, Handzettel
- Vorlesung vom 05.05.20 — Denotationale Semantik: Folien, Handzettel
- Vorlesung vom 12/14.05.20 — Äquivalenz der Operationalen und Denotationalen Semantik: Folien, Handzettel
- Vorlesung vom 19.05.20 — Die Floyd-Hoare-Logik: Folien, Handzettel
- Vorlesung vom 28.05.20 — Invarianten und die Korrektheit des Floyd-Hoare-Kalküls: Folien, Handzettel, Quellen
- Vorlesung vom 4.6.20 — Strukturierte Datentypen: Strukturen und Felder: Folien, Handzettel, Quellen
- Vorlesung vom 11.6.20 — Verifikationsbedingungen: Folien, Handzettel
- Vorlesung vom 16.06.20 — Vorwärts mit Floyd und Hoare: Folien, Handzettel
- Vorlesung vom 23.06.20 — Modellierung und Spezifikation: Folien, Handzettel, Quellen
- Vorlesung vom 02.07.20 — Spezifikation von Funktionen: Folien, Handzettel, Quellen
- Vorlesung vom 09.07.20 — Referenzen und Speichermodelle: Folien, Handzettel, Quellen
- Vorlesung vom 16.07.20 — Rückblick \& Ausblick: Folien, Handzettel