WiSe 2025/26
Fehlend (ohne Grund): 11Gemeldet am 21.09.2026
FB20 Informatik · 6 CP · Angeboten in WiSe 2026/27, WiSe 2025/26
Mittel der Semesterschnitte
2.51
Jedes Semester zählt gleich, unabhängig von seiner Größe.
Gewichteter Gesamtschnitt
2.54
Nach Kohortengröße gewichtet — der Schnitt über alle Ergebnisse hinweg.
Bestehensquote
87%
Anteil der Ergebnisse von 4,0 oder besser. 4,0 ist die letzte bestandene Note.
Semester mit Daten
3
Die deutsche Skala reicht von 1,0 (beste) bis 4,0 (letzte bestandene Note), 5,0 ist nicht bestanden. Eine 4,3 gibt es nicht.
Fehlend (ohne Grund): 11Gemeldet am 21.09.2026
Fehlend (Krankschreibung): 1Fehlend (ohne Grund): 6Gemeldet am 21.09.2026
Fehlend (Krankschreibung): 2Fehlend (Entschuldigt): 1Fehlend (ohne Grund): 3Gemeldet am 21.09.2026
Noch keine Bewertungen — mach den Anfang.
Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.
In dieser Vorlesung behandeln wir fortgeschrittene Themen aus dem Gebiet der formalen Spezifikation und deduktiven Verifikation objekt-orientierter Software. Der Kurs deckt insbesondere folgende Themen ab: * Spezifikation von Interfaces und Klassen mit Hilfe von Queries, Ghost- und Modellfeldern; * Das "Framing" Problem: Statische und dynamische Frames * Programmlogik und -kalkül als Grundlage der deduktiven Verifikation * Spezifikation und Verifikation rekursiver Methoden und Schleifen * Modulare Verifikation: Sichtbarkeiten, Beweis und Anwendung von Framing-Eigenschaften * Automatische Erzeugung von Schleifeninvarianten und Methodenverträgen Der Kurs behandelt vorwiegend sequentielle Programme. Es werden aber auch aktuelle Ansätze zur Spezifikation und Verifikation nebenläufiger bzw. verteilter Software diskutiert. Für fast alle Themen wird deren praktische Anwendung mit Hilfe geeigneter Tools demonstriert und in den Übungen vertieft.
Termine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden