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.
Sample citation
Håkan L. S. Younes. 2005.
Ymer: A statistical model checker. In
Proceedings of the 17th International Conference on Computer Aided Verification, edited by Kousha Etessami and Sriram Rajamani, vol. 3576 of
Lecture Notes in Computer Science, 429–433, Edinburgh, Scotland. Springer.
Full paper (5 pages, 12 references)
© Springer-Verlag 2005
Presentation (15 slides)