skip to: page content | links on this page | site navigation | footer (site information)

Gerichtete und parallele Validierung von abstrakten Spezifikationen

Funded by Deutsche Forschungsgemeinschaft DFG

small logo

Abstract

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

Reports

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

GePaVAS