20-00-1115

Model Checking

FB20 Computer Science · Offered in WiSe 2026/27

No grade data reported for this course yet.

Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.

Install the extension

Was this course worth it?

No ratings yet — be the first.

Your vote is stored against a random id in this browser. No account, nothing that identifies you.

Weekly sessions · WiSe 2026/27

Tue13:30–15:10S208/171 · Vorlesung
Wed11:40–13:20S101/A5 · Übung

Parts

20-00-1115-vlLecture4 contact h/week

Language: Englisch
Taught by: Prof. Dr. rer. nat. Andres Goens

Course content

Temporallogiken: Lineare temporal Logik (LTL), Computation Tree Logic (CTL) und CTL*: Syntax, Semantik, Komplexität Modelprüfungsverfahren für LTL, CTL, CTL*, insbesondere Büchiautomaten Partial Order Reduction Timed Automata

Exam dates

No exam date published.

Add to planner

Times, rooms and details come from TUCaN and may be out of date. Report something wrong