Volume 2404 of the series Lecture Notes in Computer Science pp 223-235
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
- Håkan L. S. YounesAffiliated withSchool of Computer Science, Carnegie Mellon University
- , Reid G. SimmonsAffiliated withSchool of Computer Science, Carnegie Mellon University
Abstract
We propose a model independent procedure for verifying properties of discrete event systems. The dynamics of such systems can be very complex, making them hard to analyze, so we resort to methods based on Monte Carlo simulation and statistical hypothesis testing. The verification is probabilistic in two senses. First, the properties, expressed as CSL formulas, can be probabilistic. Second, the result of the verification is probabilistic, and the probability of error is bounded by two parameters passed to the verification procedure. The verification of properties can be carried out in an anytime manner by starting off with loose error bounds, and gradually tightening these bounds.
- Title
- Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
- Book Title
- Computer Aided Verification
- Book Subtitle
- 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
- Pages
- pp 223-235
- Copyright
- 2002
- DOI
- 10.1007/3-540-45657-0_17
- Print ISBN
- 978-3-540-43997-4
- Online ISBN
- 978-3-540-45657-5
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 2404
- Series ISSN
- 0302-9743
- Publisher
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Topics
- Industry Sectors
- eBook Packages
- Editors
-
- Ed Brinksma (4)
- Kim Guldstrand Larsen (5)
- Editor Affiliations
-
- 4. Department of Computer Science, University of Twente
- 5. Department of Computer Science, Aalborg University
- Authors
-
- Håkan L. S. Younes (6)
- Reid G. Simmons (6)
- Author Affiliations
-
- 6. School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 15213, USA
Continue reading...
To view the rest of this content please follow the download PDF link above.