Modellbasierte Entwicklung » Model Checking
 

Model Checking

Wintersemester

Veranstaltungsnummern: 43MBE1023V (Vorlesung) und 43MBE1024V (Übung)

Inhalte

  • 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

Zugeordnete Personen

Aktualisiert um 16:03 am 15. Dezember 2021 von Robert