CMS Research Project “Model Checking”
From International Center for Computational Logic
CMS Research Project “Model Checking”
Course with SWS 0/0/12 (lecture/exercise/practical) in SS 2025
This course offers advanced topics in the field of verification and model checking. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are usually taken from our current projects and cover programming and theoretical problems as well.
This course is in English.
Registration
Registration via Opal is required until April 14.
Prerequisites
- Profound knowledge in model checking, acquired in the lecture “Model Checking” or similar courses at other universities
- Solid foundations in algorithms and data structures, in automata theory and formal languages as well as in complexity theory
- Basic mathematical foundations
- Programming skills in Java or C/C++ are beneficial, unless you are interested in a purely theoretical topic
Dates
All enrolled participants will be notified about the initital meeting by e-mail.
Exam and Creditability
Master Computational Modeling and Simulation
- CMS-PRO: exam according to module description
Contact
In case of organisational questions, please contact Sascha Klüppelholz.
