TUD Logo

TUD Home » ... » Teaching » Winter Term 2017/18 » Project Group “Model Checking”

Chair of Algebraic and Logical Foundations of Computer Science

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

Prof. Dr. Baier

Language: 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.

Dates

To participate, please register using the form below until Sunday, October 15th, 2017.

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

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

  • There will be an initial event in October 2017, 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).

Presentation

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

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.

Creditability

Master Computational Logic
MCL-P: Project

Registration

Registration closed.

Contact

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

Last modified: 16th Oct 2017, 9.31 AM
Author: Dipl.-Inf. Steffen Märcker