Current research projects

• DiRePro
  Directed Model Checking in the Analysis of Reactive and Probabilistic Systems.
  • Real-Time Systems
    Heuristic Search and Abstract Model Checking for Real-Time Systems.
  • Probabilistic Systems
    Formal Verification of Availability Properties.



• IMCOS
  Incomplete Model Checking for Concurrent Object-oriented Systems.



• Directed Model Checking
  We investigate the use of directed search algorithms in explicit state model checking.