Model Checking Seminar

Seminar Model Checking

Seminar Wintersemester 1999/2000
Vorbesprechung: nach Vereinbarung
Anmeldung: per email
Termin: Freitags 10:00
Stundenzahl: 2

Inhalt

Modelchecking ist eine Technik zur Verifikation von endlichen und zunehmend auch unendlichen Systemen. Im Gegensatz zur Theorembeweisern zielen sie auf eine automatische Überprüfung von Eigenschaften eines Systems. Dies erklärt die zunehmende Akzeptanz von Modelcheckern in der Industrie. Das Seminar wird einen Einblick Grundlagen und Einsatz von Modelcheckern geben. Vorschläge für Vorträge sind:

Einführung & Überblick
Symbolisches Modelchecking
Reduktion mittels Halbordnungen
Abstraktionen
Unendliche Modelle

Hier die Verteilung der Vorträge:

Literatur & Hintergrundinformation

Model Checking, Edmund M. Clarke and Orna Grumberg and Doron Peled, 1997 (to appear)

Anmeldung und Teilnahme

Wir bitten um rechtzeitige Anmeldung unter Angabe von Namen und Mailadresse. Jeder Teilnehmer hält einen Vortrag über das ausgewählte Thema. Es bietet sich an, Inhalt, Aufbau, Fachfragen etc. des Vortrages rechtzeitig vor dem Termin des Vortrags mit dem Betreuer durchzusprechen. Selbstverständlich kann man sich auch ansonsten bei Fragen zum Thema, für Hilfestellungen und Ähnlichem an uns wenden.

Sonstiges

Hinweise von einem Profi zur Vortragsgestaltung

Bei Fragen, email an {bls|kba|kst|ms}@informatik.uni-kiel.de

Maintained by: Martin Steffen

Last modified: Wed Sep 22 07:28:03 MET DST 1999