PASS: Abstraction Refinement for Infinite Probabilistic Models
We present PASS, a tool that analyzes concurrent probabilistic programs, which map to potentially infinite Markov decision processes. PASS is based on predicate abstraction and abstraction refinement and scales to programs far beyond the reach of numerical methods which operate on the full state spa...
| Auteurs principaux: | , , , |
|---|---|
| Format: | Conference item |
| Publié: |
2010
|