PASS
From MaRDI portal
PASS Q16607
Cited in
(24)- A compositional modelling and verification framework for stochastic hybrid systems
- Of cores: a partial-exploration framework for Markov decision processes
- Model checking finite-horizon Markov chains with probabilistic inference
- On Abstraction of Probabilistic Systems
- Local abstraction refinement for probabilistic timed programs
- Model checking probabilistic systems
- A game-based abstraction-refinement framework for Markov decision processes
- Formal system verification. State-of the-art and future trends
- MoDeST
- LiQuor
- ProbDiVinE
- CEGAR
- PARAM
- Rapture
- Storm
- Rabinizer
- PROPhESY
- AMT
- ASDeX
- POWER-TRUCTOR
- Out of control: reducing probabilistic models by control-state elimination
- Of cores: a partial-exploration framework for Markov decision processes
- PAYNT
- Probabilistic model checking of biological systems with uncertain kinetic rates
This page was built for software: PASS
