TUD Logo

TUD Startseite » ... » Lehre » Wintersemester 2016/17 » Projektgruppe „Model Checking“

Algebraische und logische Grundlagen der Informatik

Project Group “Model Checking” (0/0/4)

Prof. Dr. Baier

Language: English


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.


To participate, please register using the form below until Sunday, October 16th, 2016.

All registered students will be informed about the first meeting via email.


  • 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


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

Written Part

  • There will be an initial event at the beginning of October 2016, where 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 (see Deadlines).


  • The deadline for the presentation (see Deadlines) 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.


  • 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.


Master Computational Logic
MCL-P: Project


Registration closed.


In case of questions or problems please contact Dr. Klüppelholz.

Stand: 17.10.2016, 9:17 Uhr
Autor: Dipl.-Inf. Steffen Märcker