markov chains

STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking
Stochastic model checking (SMC) is a formal verification technique for the analysis of systems with probabilistic behavior. Scalability …
Cite DOI
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report
Quantitative verification tools compute probabilities, expected rewards, or steady-state values for formal models of stochastic and …
Cite DOI
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis
Stochastic model checking is a technique for analyzing systems that possess probabilistic characteristics. However, its scalability is …
Cite DOI