Referenced Items are not available for this document.
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. (1999) that applies to a larger subset of CTL; we prove properties of the algorithm and apply it to three case studies. From these case studies we derive recommendations for an effective use of coverage estimation.
Published in:
Design Automation Conference, 2003. Proceedings
Date of Conference: 2-6 June 2003
- Page(s):
- 292 - 295
- Print ISBN:
- 1-58113-688-9
- INSPEC Accession Number:
- 7852989
- Digital Object Identifier :
- 10.1109/DAC.2003.1219011
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
