Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
Aus International Center for Computational Logic
Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
Lehrveranstaltung mit SWS 0/0/4 (Vorlesung/Übung/Praktikum) im SS 2026
The Komplexpraktikum “Modeling and Quantitative System Analysis I” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. An overview is given on the homepage of the chair under the tab Active Projects.
Potential topics include:
- symbolic methods in model checking,
- explicit model checking,
- reduction techniques,
- automata over finite and infinite words,
- numerical methods for quantitative analysis,
- logics,
- specification formalisms,
- abstraction techniques,
- case studies.
Registration
Registration via Opal is required until April 20.
Prerequisites
In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.
Dates
All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.
Exam and Creditability
Master Informatik (PO 2010)
- INF-MA-PR: exam according to module description
Contact
In case of organisational questions, please contact Sascha Klüppelholz.
