scientific article; zbMATH DE number 2090706
From MaRDI portal
Recommendations
Cited in
(9)- Probabilistic abstraction for model checking: an approach based on property testing
- On finite-state approximants for probabilistic computation tree logic
- Validation of Stochastic Systems
- Probabilistic model checking of biological systems with uncertain kinetic rates
- Abstraction and probabilities for hybrid logics
- Quantitative abstraction refinement
- Model Checking Software
- Constraint-based debugging in probabilistic model checking
- Verification and refutation of probabilistic specifications via games
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813201)