Lab Course “Modeling and Automated Verification”

Lecture series

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