Loading…
FB20 Computer Science · Offered in SoSe 2026
No grade data reported for this course yet.
Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.
No ratings yet — be the first.
Your vote is stored against a random id in this browser. No account, nothing that identifies you.
- Modellierung nebenläufiger Software mit der Sprache ProMeLa - Formalisierung von Sicherheits- und Lebendigkeitseigenschaften mit temporaler Aussagenlogik - Theoretische Grundlagen von Modellprüfungsverfahren - Verifikation von ProMeLa Programmen mittels des Modellprüfers SPIN - Syntax, Semantik und Sequenzenkalkül für typisierte Logik erster Stufe - Grundlagen der kontraktbasierten Softwarespezifikationssprache JML - Dynamische Logik als eine Programmlogik erster Stufe - Formale Programmverifikation durch symbolische Ausführung und Invariantenschließen - Werkzeugunterstützte Verifikation von Java-Programen mit der KeY System
No exam date published.
Add to plannerTimes, rooms and details come from TUCaN and may be out of date. Report something wrong