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

• Prof. Dr. rer. nat. Malte Lochau