Lab Course “Modeling and Automated Verification”
From International Center for Computational Logic
Lab Course “Modeling and Automated Verification”
Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2018
This lab course is intended for students in the Master's program “Computational Logic”. 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:
Within these projects, tasks in various areas arise, which include:
- Symbolic methods in model checking
- Explicit model-checking techniques
- Reduction techniques
- Omega-automata (probabilistic)
- Numerical solution methods
- Logics
- Specification formalisms
- Abstraction techniques
- Case studies
Registration and Dates
To participate, please register using the form on the course hompage until Sunday, April 15th, 2018.
All registered students will be informed about the first meeting via email.
Prerequisites
- Solid foundations in algorithms and data structures, complexity theory, automata theory and formal languages
- Basic mathematical foundations
- Programming skills in C/C++ or Java
Course Homepage
Further details can be found here.
