FLUENT Verification Project
FLUENT Verification Project
People
Events
Publications
Contact
Light
Dark
Automatic
infinite-sate systems
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 …
Riley Roberts
,
Thakur Neupane
,
Lukas Buecherl
,
Chris J. Myers
,
Zhen Zhang
Cite
Code
DOI
Cite
×