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. At the end of the course, the students have to give a short talk (30 min) about their work and their achieved results.
Registration
Enrolling via OPAL is required until 10.04.2022.
Prerequisites
- Profound knowledge in model checking, acquired in the lecture “Model Checking” or another, similar course at a partner university
- Solid foundations in algorithms and data structures, in automata theory and formal languages as well as in complexity theory
- Basic mathematical foundations
Rules
Every participant will be assigned a topic. The aim of this course is to work autonomously on this topic and prepare a written document and a presentation (30 minutes + discussion) on the conducted work and gained results. The final document has to be submitted strictly before the end of the semester and the presentation needs to be hold before the next semester.
Proceedings
Participants will be notified about the initital meeting. This meeting will take the form of a video conference. Further dates and proceedings will be arranged depending on the current developments of the corona crisis. The same holds for meetings with the tutor.
Creditability
Master Computational Modeling and Simulation
- CMS-PROJ: Research Project
Contact
Dr. Sascha Klüppelholz
Eine verschlüsselte E-Mail über das SecureMail-Portal versenden (nur für TUD-externe Personen).