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 07.04.15: Einführung [Folien] [Handzettel]
- Vorlesung vom 10.04.16: Die Floyd-Hoare-Logik [Folien] [Handzettel]
- Vorlesung vom 18.04.16: Operationale Semantik [Folien] [Handzettel]
- Vorlesung vom 25.04.16: Denotationale Semantik [Folien] [Handzettel]
- Vorlesung vom 2.05.16: Äquivalenz operationale und denotationale Semantik [Folien] [Handzettel]
- Vorlesung vom 09.05.16: Vorwärts und Rückwärts mit Floyd und Hoare. [Folien] [Handzettel]
- Vorlesung vom 12.05.16: Korrektheit der Floyd-Hoare-Logik [Folien] [Handzettel]
- Vorlesung vom 19.05.16: Einführung zu Isabelle [Folien] [Handzettel]
- Vorlesung vom 23.05.16: Weitere Datentypen: Strukturen und Felder [Folien] [Handzettel]
- Vorlesung vom 30.05.16: Funktionen und Prozeduren [Folien] [Handzettel]
- Vorlesung vom 06.06.16: Funktionen und Prozeduren [Folien] [Handzettel]
- Vorlesung vom 09.06.16: Referenzen und Speichermodelle [Folien] [Handzettel]
- Vorlesung vom 16.06.16: Referenzen und Speichermodelle [Folien] [Handzettel]
- Vorlesung vom 23.06.16: VCG Revisited [Folien] [Handzettel]
- Vorlesung vom 30.06.16: Separation Logic \ Slides courtesy of Rajeev Gor'e, ANU, Australia [Folien] [Handzettel]
- Vorlesung vom 07.07.16: Rückblick \& Ausblick [Folien] [Handzettel]
- Die Beispieltheorie aus Vorlesung 08:
lecture08.thy
lecture08.thy