Model Checking (Wintersemester 2023/24)

Veranstaltung im Wintersemester 2023/24 an der Universität Münster.

Vorlesung: Prof. Dr. Markus Müller-Olm

Übungen: Prof. Dr. Markus Müller-Olm, Roman Lakenbrink

Eintrag für diese Veranstaltung im HIS/LSF

Learnwebkurs zu dieser Veranstaltung

Ort und Zeit

Vorlesung und Übungen: Di 12:15-14:00 Uhr, M6 und Fr 12:15-14:00 Uhr, M6

Die erste Vorlesung ist am Freitag, dem 13. Oktober 2023, um 12:15 Uhr im Hörsaal M6.

Vorlesungsinhalt

Eine zunehmend auch von der Industrie eingesetzte Technik zur Aufdeckung versteckter Fehler in Hard- und Softwaresystemen ist das sogenannte Model-Checking. Ein Model Checker überprüft automatisch, ob ein Modell eines Systems eine gewünschte, typischerweise in einer temporalen Logik spezifizierte Eigenschaft besitzt. Die Vorlesung behandelt erschiedene Ansätze zur Konstruktion von Model-Checkern sowie theoretische und praktische Fragestellungen im Umfeld dieser Methode.

Die Vorlesung richtet sich an Masterstudierende im Haupt- und Nebenfach Informatik.

Literatur

  1. C. Baier und J.-P. Katoen. Principles of Model Checking, MIT Press, 2008.
  2. B. Berard, M. Bidoit, A. Finkel, F. Larroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen. Systems and Software Verification, Springer-Verlag, 2001.
  3. E. M. Clarke, O. Grumberg, D. A. Peled. Model Checking, MIT Press, 1999.
  4. E. M. Clarke, T. A. Henzinger, H. Veith, R. Bloem. Handbook of Model-Checking, Springer-Verlag, 2018.