Grundlagen der formalen Verifikation (Hoare-Logik); Entwicklung korrekter Programme mit Hilfe von Zusicherungen, Pre- und Postconditions, Schleifeninvarianten; Verifikation sequentieller, paralleler und verteilter Programme; praktische Übungen mit ausgewählten Systemen zur Programmverifikation. Didaktische Methodik: Vortrag mit aktiver Beteiligung der anwesenden Studierenden, Praktische Aufgaben mit Abgabegesprächen
Diese Lehrveranstaltung wurde umbenannt in "Deduktive Verifikation von Software", nähere Informationen dort.
Beginn der Vorlesung: Mo, 3.3.2014. Bitte melden Sie sich zur Lehrveranstaltung über TISS an, oder wenn das nicht geht, per Email an gernot.salzer@tuwien.ac.at.
Voraussichtlicher Aufwand für die Studierenden:
26 Std. Besuch Vorlesung, Mitarbeit und Prüfung
24 Std. Lernen für Vorlesungsprüfung
100 Std. Bearbeiten der Übungsaufgaben
Gesamt: 150 Std.
David Gries: The Science of Programming, Springer 1981.
R.C. Backhouse: Program Construction and Verification, Prentice-Hall 1986.
Gerald Futschek: Programmentwicklung und Verifikation, Springer SAI 1989 (in German).
Edsger W. Dijkstra and Carel S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag 1990.
