Wird geladen…
FB20 Informatik · Angeboten in SoSe 2026
Für diesen Kurs wurden noch keine Noten gemeldet.
Notenverteilungen kommen herein, sobald jemand, der den Kurs belegt hat, den Notenspiegel mit installierter TUPlan-Erweiterung öffnet.
Noch keine Bewertungen — mach den Anfang.
Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.
- 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
Kein Prüfungstermin veröffentlicht.
Zum Stundenplan hinzufügenTermine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden