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. At the end of the course, the students have to give a presentation (30 min) about their work and their achieved results.

Registration

Enrolling via OPAL is required until 10.04.2022.

Rules

Every participanting group will be assigned a topic. The aim of this course is to work autonomously on this topic as a team 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-LM-TEA: Foundations of Logical Modeling

Contact