Seminar Model Checking SS02 (Verifikation paralleler Systeme)

Das Seminar beschäftigt sich mit verschiedenen theoretischen Problemen und Ergebnissen aus dem Bereich Model-Checking. Im besonderen handelt es sich dabei um die Präsentation von Verfahren, welche die Behandlung von sehr großen oder gar unendlichen Zustandsräumen ermöglicht. Weitere Themen sind die Analyse von Echtzeitsystemen, die Berechnung des Quotientenraums unter (Bi-)simulationsäquivalenz, randomisierte Speichertechniken und Minimierungsalgorithmen für $\omega$-Automaten. Die Themen bauen ausnahmslos auf der Vorlesung Model Checking, Verifikation paralleler Systeme aus dem vergangenen Semester auf.

TeilnehmerInnen erlangen bei erfolgreicher Teilnahme einen Seminarschein aus dem Bereich A.

Folgende Tabelle beinhaltet u.a. die Teilnehmer des Seminars, den Zeitpunkt des Vortrages sowie das korrespondierende Thema.

Aktuelle Änderungen

• Der dritte Vortrag am 4.6.2002 von Yazgan Levent wird ausfallen.
• Der zweite Vortrag am 25.6.2002 von Felix Leder wird ausfallen.

Teilnehmer beachten bitte auch folgendes Handout, welches die Details der Ausarbeitung, des Vortrages und der Vorbesprechungen beinhaltet.

• Handout für Vortragende (PS)
• Handout für Vortragende (PDF)