Team Project “Model Checking”

Lecture series

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 to 4 people to solve a complex interdisciplinary task that includes different areas of logical modeling and model checking.

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