Find out how to access preview-only content
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
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.
- Title
- Ymer: A Statistical Model Checker
- Book Title
- Computer Aided Verification
- Book Subtitle
- 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
- Pages
- pp 429-433
- Copyright
- 2005
- DOI
- 10.1007/11513988_43
- Print ISBN
- 978-3-540-27231-1
- Online ISBN
- 978-3-540-31686-2
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 3576
- Series ISSN
- 0302-9743
- Publisher
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Topics
- Industry Sectors
- eBook Packages
- Editors
-
- Kousha Etessami (16)
- Sriram K. Rajamani (17)
- Editor Affiliations
-
- 16. LFCS, School of Informatics, University of Edinburgh
- 17. Microsoft Research India
- Authors
-
- Håkan L. S. Younes (18)
- Author Affiliations
-
- 18. Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, 15213, USA
Continue reading...
To view the rest of this content please follow the download PDF link above.