Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Algorithmique et Complexité
VERA

Subvention
Sept. 2003 - Sept. 2006

Equipe : Algorithmique et Complexité
Responsable : 

Gestionnaire : 
Organisme gérant : CNRS

Vérification approchée

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.

Activités de recherche
  Model-Checking

Membres LRI



Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° NEXT
NEXT