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.
Full paper: PDF (5 pages, 12 references)
© Springer-Verlag Berlin Heidelberg 2005
Presentation: PPT, PDF (15 slides)
| Håkan L. S. Younes |
|
|
| Last modified: Mon Mar 20 11:17:45 EST 2006 |