20-00-0901

Formale Methoden im Softwareentwurf

FB20 Informatik · 5 CP (aus SWS geschätzt) · 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.

Erweiterung installieren

Hat sich der Kurs gelohnt?

100% positiv von 1 Bewertung

Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.

Wöchentliche Termine · SoSe 2026

Mo08:55–11:25S101/A01 · Integrierte Veranstaltung
Mo13:30–15:10S102/34 · Ü 11
Di11:40–13:20S103/113 · Ü 01
Di11:40–13:20S202/C205 · Ü 02
Di11:40–13:20S214/24 · Ü 03
Di15:20–17:00S101/A4 · Ü 04
Di15:20–17:00S103/175 · Ü 05
Di15:20–17:00S306/052 · Ü 06
Mi13:30–15:10S102/36 · Ü 07
Do11:40–13:20S113/169 · Ü 12
Fr11:40–13:20S101/A5 · Ü 08
Fr11:40–13:20S115/133 · Ü 09
Fr11:40–13:20S204/213 · Ü 10

Bestandteile

20-00-0901-ivIntegrierte Veranstaltung3 SWS

Sprache: Deutsch
Lehrende: Dr. rer. nat. Richard Bubel, Prof. Dr. rer. nat. Reiner Hähnle

Lehrinhalte

- 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

Prüfungstermine

2026-09-22 · 14:00–16:30 · Examenvorläufig

Zum Stundenplan hinzufügen

Termine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden