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