Lab Course “Modeling and Automated Verification” (SS2025)

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

• CMS-LM-ADV
• CMS-LM-MOC
• MCL-PS

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

• CPEC
• CeTI
• SECAI
• SEMECO
• 5G-Lab Germany

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 April 14.

Prerequisites

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

Exam and Creditability

Master Computational Logic

• MCL-PS: Projektarbeit inkl. Kolloquium (research project with a 10-page documentation and a 30-minute presentation)

Master Computational Modeling and Simulation

• CMS-LM-MOC: Projektarbeit inkl. Kolloquium (research project with a 10-page documentation and a 30-minute presentation)
• CMS-LM-ADV: Projektarbeit inkl. Kolloquium (research project with a 10-page documentation and a 30-minute presentation)

Contact

In case of organisational questions, please contact Sascha Klüppelholz.