TUD Logo

TUD Home » ... » Teaching » Summer Term 2018 » Lab Course “Modeling and Automated Verification”

Chair of Algebraic and Logical Foundations of Computer Science

Lab Course “Modeling and Automated Verification” (0/2/0)

Prof. Dr. Baier

Language: English

Description

This lab course is intended for students in the Master's program “Computational Logic”. It affords the opportunity to participate in theoretical as well as applied state-of-the-art research projects. Most problems addressed in this course are closely related to or a part of current research projects of our workgroup. See for example:

Within these projects, tasks in various areas arise, which include:

  • Symbolic methods in model checking
  • Explicit model-checking techniques
  • Reduction techniques
  • Omega-automata (probabilistic)
  • Numerical solution methods
  • Logics
  • Specification formalisms
  • Abstraction techniques
  • Case studies

Registration and Dates

To participate, please register using the form below until Sunday, April 15th, 2018.

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

Prerequisites

  • Solid foundations in algorithms and data structures, complexity theory, automata theory and formal languages
  • Basic mathematical foundations
  • Programming skills in C/C++ or Java

Rules

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

Written Part

  • There will be an initial event at the beginning of April 2018, where some different topics will be presented.
  • Every participant will be assigned to a topic. The aim of this course is to work autonomously on a topic and to give a presentation on the findings. A date for this presentation will be fixed at the initial event for every participant. The presentation has to be given at the end of June 2018.
  • A tutor is assigned to every participant during the initial meeting.
  • The developed code has to be commented properly and has to be described in a PDF document.
  • The concluding presentation should not exceed 30 minutes.

Awarding of Credit Points

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

  • Every deadline was kept.
  • The source code is commented and documented properly.
  • The presentation of the own results was acceptable.
  • The presentations of the other participants were attended.

Creditability

Master Computational Logic
MCL-PS: Skills

Registration

Registration closed.

Contact

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

Last modified: 16th Apr 2018, 12.28 PM
Author: Dipl.-Inf. Steffen Märcker