Reference

[Younes05a] Younes, H. L. S Ymer: A Statistical Model Checker. In CAV, pages 429-433, Springer, LNCS 3576, 2005.
Downloads: bibAbstract. We present Ymer, a tool for verifying probabilistic transient properties of stochastic discrete event systems. Ymer implements both statistical and numerical model checking techniques. We focus on two features of Ymer: distributed acceptance sampling and statistical model checking of nested probabilistic statements.