PASS
From MaRDI portal
Software:16607
No author found.
Related Items (11)
Model checking finite-horizon Markov chains with probabilistic inference ⋮ Model Checking Probabilistic Systems ⋮ Out of control: reducing probabilistic models by control-state elimination ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ A game-based abstraction-refinement framework for Markov decision processes ⋮ On Abstraction of Probabilistic Systems ⋮ Unnamed Item ⋮ Formal System Verification ⋮ Local abstraction refinement for probabilistic timed programs ⋮ Unnamed Item ⋮ Probabilistic model checking of biological systems with uncertain kinetic rates
This page was built for software: PASS
