[Technical Faculty]

Seminar Model Checking


Seminar Sommersemester 1999
Vorbesprechung: Freitag, 12. Februar 1999, 10 ct Raum ??, bzw. nach später nach Vereinbarung
Anmeldung: per email
Termin: Freitags 13:30
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:

Hier die Verteilung der Vorträge:

Literatur & Hintergrundinformation

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


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


Maintained by: Martin Steffen
Last modified: Dezember 1998