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

Lecturer

SWS

  • 0/2/0

Modules

Examination method

  • Term paper
  • Seminar presentation



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.