FB20 Computer Science · 6 CP · Offered in WiSe 2026/27, WiSe 2025/26
Average of averages
2.51
Every semester counts equally, whatever its size.
Pooled average
2.54
Weighted by cohort size — what an arbitrary student across all semesters scored.
Pass rate
87%
Share of results at 4.0 or better. 4.0 is the last passing grade.
Semesters with data
3
The German scale runs 1.0 (best) to 4.0 (last pass), with 5.0 as fail. There is no 4.3.
Missing (no reason): 11Reported Sep 21, 2026
Missing (medical excuse): 1Missing (no reason): 6Reported Sep 21, 2026
Missing (medical excuse): 2Missing (excused): 1Missing (no reason): 3Reported Sep 21, 2026
No ratings yet — be the first.
Your vote is stored against a random id in this browser. No account, nothing that identifies you.
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.
Times, rooms and details come from TUCaN and may be out of date. Report something wrong