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

ANR
Jan 2008 - Dec 2010

Group : Algorithms and Complexity
Principal investigator : 

Administrator : 
Affiliation : 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.

Research activities
  Verification
  Model-Checking

Participants
ZAIDI Fatiha


More information : http://www.lri.fr/~mdr/verap
Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° NEXT
NEXT