This research project (2008-2011) studies approximate methods to verify properties of Probabilistic Systems.
Topics
- Testers for Probabilistic Systems
- Approximate Black Box and Conformance testing
- Streaming Testers
Tasks
- AD: Approximate Distance.
- AVP: Approximate Verification of a Property.
- EPE: Estimation of the Probability by approximate Enumeration.
- ABCT: Approximate Black-Box and Conformance Testing.
- ST: Streaming Testers.
Publications
Software developments
Previous related projects
VERA: Approximate Verification
