Dos and don'ts of CTL state coverage estimation

Proceedings - Design Automation Conference

Volumn , Issue , 2003, Pages 292-295

  Jayakumar, Nikhil ^a   Purandare, Mitra ^a   Somenzi, Fabio ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

Model checking; State coverage; Vacuity detection

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; DATA STORAGE EQUIPMENT; PERTURBATION TECHNIQUES; ROBUSTNESS (CONTROL SYSTEMS); SET THEORY; STATE ESTIMATION;

VACUITY DETECTION;

SYSTEMS ANALYSIS;

EID: 0042134884     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/775832.775908     Document Type: Conference Paper

References (10)

1. I. Beer et al.. Efficient detection of vacuity in ACTL formulas. CAV'97, pages 279-290. July 1997. LNCS 1254.
2. R. K. Brayton et al.. VIS: A system for verification and synthesis. CAV'96, pages 428-432. July 1996. LNCS 1102.
3. H. Chockler et al.. A practical approach to coverage in model checking. CAV'01, pages 66-78. July 2001. LNCS 2102.
4. H. Chockler, O. Kupferman, and M. Y. Vardi. Coverage metrics for temporal logic model checking. TACAS'01, pages 528-542. April 2001. LNCS 2031.
5. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.
6. G. D. Hachtel and F. Somenzi. A symbolic algorithm for maximum flow in 0-1 networks. Formal Methods in Systems Design, 10(2/3):207-219, 1997.
7. Y. Hoskote, T. Kam, P.-H. Ho, and X. Zhao. Coverage estimation for symbolic model checking. DAC'99, pages 300-305. June 1999.
8. S. Katz, O. Grumberg, and D. Geist. "Have I written enough properties?" - A method of comparison between specification and implementation. CHARME'99, pages 280-297. Sept. 1999. LNCS 1703.
9. M. Purandare and F. Somenzi. Vacuum cleaning CTL formulae. CAV'02, pages 485-499. July 2002. LNCS 2404.
10. VIS verification benchmarks. URL: http://vlsi.colorado.edu/̃vis.