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
GAUDEL Marie-Claude
ZAIDI Fatiha


Pour en savoir plus : http://www.lri.fr/~mdr/verap
Contrats
° IUF
FABIO MARTIGNON
SUBVENTION

° DIGISCOPE UPS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° DIGISCOPE CNRS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° LCHIP
LCHIP

° DIGISCOPE INRIA
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR