Lab Course “Modeling and Automated Verification”

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

Description

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

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

• Symbolic methods in model checking
• Explicit model-checking techniques
• Reduction techniques
• Automata over finite and infinite words
• Numerical solution methods
• Logics
• Specification formalisms
• Abstraction techniques
• Case studies

Registration

Enrolling via  OPAL is required until October 21, 2024.

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: Presentation Skills (research project with 10 page documentation including a 30 minute presentation)

Master Computational Modeling and Simulation

• CMS-LM-MOC: Models of Computation (research project with 10 page documentation including a 30 minute presentation)
• CMS-LM-ADV: Advanced Logical Modeling (research project with 10 page documentation including a 30 minute presentation)

Contact