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