„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“.

Lab Course “Modeling and Automated Verification”

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2025

Dozent

Christel Baier

Umfang (SWS)

0/2/0

Module

Leistungskontrolle

Hausarbeit
Referat

Vorlesungsreihe

Lab Course “Modeling and Automated Verification”

Information

This lab course is intended for students in the Master's programs “Computational Logic” and “Computational Modeling and Simulation”. It offers 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 are part of current research projects of our workgroup. See for example:

Potential topics include:

Symbolic methods in model checking
Explicit model checking
Reduction techniques
Automata over finite and infinite words
Numerical methods for quantitative analysis
Logics
Specification formalisms
Abstraction techniques
Case studies

This course is held in English.

Registration

Registration via Opal is required until 14 April. (We're still setting up the Opal course, so please come back later!)

Prerequisites

Solid foundations in algorithms and data structures, complexity theory, automata theory and formal languages
Solid programming skills
Basic mathematical foundations

Exam and Creditability

For all modules (see sidebar), the exam consists of a research project with 10 pages of documentation including a 30 minute presentation.

Contact

Please contact Sascha Klüppelholz for organisational questions.