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

ANR
Janv. 2008 - Déc. 2010

Equipe : Algorithmique et Complexité
Responsable : 

Gestionnaire : 
Organisme gérant : CNRS

Approximate Veri?cation of Probabilistic Systems

This research project extends the VERA project, which introduced efficient methods to approximately verify that a Transition System satisfies some Property. We consider Probabilistic systems, where both non-deterministic and probabilistic transitions coexist. We extend the approach of Equivalence testers, consider Black-Box testing and Streaming testers.

Activités de recherche
  Vérification
  Model-Checking

Membres LRI
ZAIDI Fatiha


Pour en savoir plus : http://www.lri.fr/~mdr/verap
Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° VOCAL
VOCAL
ANR

° ALGORE CELL
ALGORE CELL
ANR

° PARDI
PARDI
ANR

° LCHIP
LCHIP