infinite-state

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