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 limited as probabilistic models of real-world applications typically have very large or infinite state space. This …