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