markov chains

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker
Improving the scalability of probabilistic model checking (PMC) tools is crucial to the verification of real-world system designs. The …
Cite Code DOI
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 Code 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