Project Group "Model Checking"

Dr. Sascha Klüppelholz, Prof. Christel Baier
SWS: (0/0/4), 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 Logic”. 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 31.10.2020.

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
• Programming skills in C/C++ are beneficial, unless you are interested in a purely theoretical topic

Rules

The following rules need to be obeyed in order to assure a successful participation:

Written Part

• Every participant will be assigned a topic. The aim of this course is to work autonomously on a topic and to give a presentation on the findings.
• A tutor is assigned to every participant during the initial meeting. Meetings with the tutor have to be arranged in advance and have to be well-prepared.
• During the work on the topic the participant has to write a prefinal thesis. This document is the prerequisite for the registration to the presentation of the topic. Following the preliminary version the participant has to develop a final thesis. This document has to be submitted to the tutor as PDF.

Presentation

• The deadline for the presentation has to be kept.
• The presentation must not exceed 30 minutes.
• Following the presentation there will be a 15 minute discussion. This is the chance for the audience to ask some questions with reference to the presentation.
• The presentation takes place in front of the other participants. Therefore it is recommended to practice the presentation at least once.

Awarding of the Credit Points

The Credit Points will be awarded if all of the following conditions were fulfilled:

• All deadlines were kept.
• The submitted documents are free of faults.
• The presentation was completed in an acceptable way.
• The presentations of the other participants were attended.

Deadlines

• The presentation needs to be done before the end of the semester.
• The deadline for the registration of the presentation is 8 weeks before the end of the semester. An acceptable prefinal version of the thesis is mandatory for the registration.
• Not later than 4 weeks before the date of the presentation the participant needs to submit the final thesis.

Proceedings

All 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 Logic

• MCL-P: Project

Master Computational Modeling and Simulation

• CMS-PRO: Research Project

Contact