swMATH4431MaRDI QIDQ16607FDOQ16607
Author name not available (Why is that?)
Official website: http://depend.cs.uni-sb.de/tools/pass/
Cited In (21)
- 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
- Out of control: reducing probabilistic models by control-state elimination
- Of cores: a partial-exploration framework for Markov decision processes
- CEGAR
- PARAM
- Rapture
- Storm
- Rabinizer
- PROPhESY
- AMT
- ASDeX
- POWER-TRUCTOR
- PAYNT
- Probabilistic model checking of biological systems with uncertain kinetic rates
This page was built for software: PASS
