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.
Supported by the Army Research Office (ARO) under contract no. DAAD190110485 and a grant from the Royal Swedish Academy of
Engineering Sciences (IVA).