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 WS 2026
This course examines 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 research tasks assigned to individual students are usually taken from our current projects and cover programming as well as theoretical problems.
Registration
Registration via Opal is required until October 19.
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 participants registered in Opal by the due date will be notified about the initital meeting by e-mail.
Examination
Master Computational Modeling and Simulation
- CMS-PRO: project report and 30-minute presentation
Contact
In case of organizational questions, please send an e-mail to studies_alg@mailbox.tu-dresden.de.
