FLUENT Verification Project
FLUENT Verification Project
People
Events
Publications
Contact
Light
Dark
Automatic
probabilistic model checking
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 …
Joshua Jeppson
,
Matthias Volk
,
Bryant Israelsen
,
Riley Roberts
,
Andrew Williams
,
Lukas Buecherl
,
Chris J. Myers
,
Hao Zhang
,
Chris Winstead
,
Zhen Zhang
Cite
Code
DOI
Cite
×