Team Project Model Checking

Dr. Sascha Klüppelholz
SWS: (0/0/8), in English

Description

This course offers advanced topics in the field of formal modeling and analysis. 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. Within this research-relevant project students are working in teams of about 2–4 persons to solve a complex interdisciplinary task that includes different areas of logical modeling.

Registration

Enrolling via OPAL is required until April 14th, 2024.

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

Participants will be notified about the initial meeting, where each group is assigned a topic. Presentations will be held between June and August. The specific dates will be announced later.

The written summary is due by the 1st September, 2024.

Creditability

Master Computational Modeling and Simulation

• CMS-LM-TEA: Logical Modeling Teamproject (exam according to module description)

Contact