Fran├žais Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Algorithms and Complexity
VERA

Subvention
Sep 2003 - Sep 2006

Group : Algorithms and Complexity
Principal investigator : 

Administrator : 
Affiliation : CNRS

Approximate verification

This research project studies various notions of approximation in the context of formal verification. Given a program, a system, a protocol, it is often a hard problem to prove that it satisfies a specification. We propose an approach where we can efficiently prove that it approximately satisfies a specification.

Research activities
  Model-Checking

Participants


Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF