Lab Course "Modeling and Automated Verification"

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

Description

This lab course is intended for students in the Master's program “Computational Logic” and “Computational Modeling and Simulation” . 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:

• 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 16th 2023.

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 (Projektarbeit) including around 10 pages documentation and a 30 Minute defense)

Master Computational Modeling and Simulation

• CMS-LM-MOC: Models of Computation (research project (Projektarbeit) including around 10 pages documentation and a 30 Minute defense)
• CMS-LM-ADV: Advanced Logical Modeling (research project (Projektarbeit) including around 10 pages documentation and a 30 Minute defense)

Contact