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.