CMS Research Project Model Checking
Dr. Sascha Klüppelholz
SWS: (0/0/12), in English
Description
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.
Registration
Enrolling via OPAL is required until October 16th 2023.
Prerequisites
- Profound knowledge in model checking, acquired in the lecture “Model Checking” or similar courses at another university
- 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 C/C++ are beneficial, unless you are interested in a purely theoretical topic
Schedule
All enrolled participants will be notified about the initital meeting.
Project report and presentation are due by the 1st March 2024.
Creditability
Master Computational Modeling and Simulation
- CMS-PRO: Research Project (exam according to module description)
Contact
Dr. Sascha Klüppelholz
Eine verschlüsselte E-Mail über das SecureMail-Portal versenden (nur für TUD-externe Personen).