infinite state models

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