..
Suche
Hinweise zum Einsatz der Google Suche
Erweiterte Suche
Personensuchezur unisono Personensuche
Veranstaltungssuchezur unisono Veranstaltungssuche
Katalog plus

Vorlesung Model Checking (WS 2017/2018)

Aktuelles 

  • Die Vorlesung beginnt am 19.10.
  • Die Übung am Freitag, den 03.11, entfällt wegen Krankheit.

Organisatorisches

  • Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7109, Tel. 0271-740-2826)
  • Vorlesungstermine:
    • Donnerstag, 10:00-12:00, im H-F 001
    • Donnerstag, 12:00-14:00
  • Übungen :
    • Freitag, 10:00-12:00, im H-F 104/105 (von Philipp Reh)

Einige Themen

  • Transitionssysteme
  • LTL (Linear temporal logic)
  • Büchiautomaten
  • CTL (Computation tree logic)
  • Ordered Binary Decision Diagrams und symbolisches Model-Checking
  • Pushdownsysteme und Model-Checking rekursiver Programme
 

Folien (Version 18.1.2018)

Übungsblätter

Lehrbücher

  • Baier, Katoen. Principles of Model Checking, MIT Press 2008.
  • Clarke, Grumberg, Peled. Model-Checking, MIT-Press 1999.
Aktualisiert via XIMS am 24.1.2018 von C. P. Reh