|
[NMMZZ19]
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng and Zhen Zhang.
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis.
In Proc. 31st International Conference on Computer Aided Verification (CAV'19), volume 11561 of LNCS, pages 540-549, Springer.
2019.
[Describes a tool for probabilistic verification of infinite-state systems, connecting to PRISM's model checking engines.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|