Gerichtete und parallele Validierung von abstrakten Spezifikationen

Funded by Deutsche Forschungsgemeinschaft DFG

small logo


Gepavas is a DFG funded project, that aims to develop new methods and tools for validation of large and complex industrial B specifications. We investigate two approaches:

  • Directed Model Checking
  • Parallelization


Most Recent News

  • Our paper on Proof Assisted Model Checking was accepted for ICFEM 09.
  • We will present some open issues on distributed model checking at PDMC 09.
  • We presented our ideas on automatic flow analysis at the Deploy Plenary Workshop (Slides)
Impressum | ©2009 Lehrstuhl Softwaretechnik und Programmiersprachen