Ymer: A Statistical Model Checker

Håkan L. S. Younes

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.

Full paper: PDF (5 pages, 12 references)
© Springer-Verlag Berlin Heidelberg 2005

Presentation: PPT, PDF (15 slides)

Håkan L. S. Younes Valid CSS! Valid XHTML 1.0!
Last modified: Mon Mar 20 11:17:45 EST 2006