PASS
From MaRDI portal
Software:16607
swMATH4431MaRDI QIDQ16607FDOQ16607
Author name not available (Why is that?)
Cited In (11)
- A compositional modelling and verification framework for stochastic hybrid systems
- Model checking finite-horizon Markov chains with probabilistic inference
- Title not available (Why is that?)
- On Abstraction of Probabilistic Systems
- Local abstraction refinement for probabilistic timed programs
- A game-based abstraction-refinement framework for Markov decision processes
- Out of control: reducing probabilistic models by control-state elimination
- Model Checking Probabilistic Systems
- Title not available (Why is that?)
- Probabilistic model checking of biological systems with uncertain kinetic rates
- Formal System Verification
This page was built for software: PASS
