Chapter

Computer Aided Verification

Volume 3576 of the series Lecture Notes in Computer Science pp 429-433

Ymer: A Statistical Model Checker

  • Håkan L. S. YounesAffiliated withComputer Science Department, Carnegie Mellon University

* Final gross prices may vary according to local VAT.

Get Access

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.