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