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

Vorlesung Model Checking (WS 2019/2020)

Aktuelles 

  • In der Übung am Mittwoch, den 29.01.2020, können abschließend Fragen zum Vorlesungsstoff gestellt werden. Dazu gibt es Hinweise zum Ablauf der mündlichen Prüfung. 

Organisatorisches

  • Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7109, Tel. 0271-740-2826)
  • Vorlesungstermine:
    • Dienstag, 12:00-14:00, im H-F 001
    • Donnerstag, 10:00-12:00, im H-F 104/05
  • Übungen :
    • Mittwoch, 14:00-16:00 im Raum H-C 6336/37 (von Danny Hucke)

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 27.1.2020 von D. Hucke