Project Group "Model Checking" (SS2018)

„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.

Project Group "Model Checking"

Lehrveranstaltung mit SWS 0/0/4 (Vorlesung/Übung/Praktikum) in SS 2018

Dozent

• Christel Baier

Umfang (SWS)

• 0/0/4

Module

• MCL-P

Leistungskontrolle

• Hausarbeit
• Referat

• Information

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.

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