Ymer: A statistical model checker

Abstract

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. © Springer-Verlag Berlin Heidelberg 2005.