Laborkurs "Modeling and Automated Verification"

Prof. Dr. Christel Baier
SWS: (0/2/0) in English

Changed proceedings due to COVID-19 outbreak

Due to the recent outbreak of the COVID-19 virus, the university has decided not to carry out any events with mandatory attendance at least until 4^th May 2020 (as of 19^th March). Lectures and exercises from the start of the Semester (in the week from 6th April) up until the start of teaching events with mandatory attendance are instead provided with online alternatives via OPAL.

Please inform yourself about current developments and decisions of the university at https://tu-dresden.de/corona and https://tu-dresden.de/studium/im-studium/coronavirus/

Please revisit this site and https://tu-dresden.de/corona from time to time to stay up to date.

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

Please enroll via OPAL.

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

Contact

Dr. Sascha Klüppelholz

E-Mail senden

work Tel.