Transition traversal coverage estimation for symbolic model checking

Proceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'05

Volumn 2005, Issue , 2005, Pages 259-260

  Xu, Xingwen ^a   Kimura, Shinji ^a   Horikawa, Kazunari ^b   Tsuchiya, Takehiko ^b  

^a WASEDA UNIVERSITY   (Japan)

^b TOSHIBA CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33745167971     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MEMCOD.2005.1487932     Document Type: Conference Paper

References (5)

1. F. Fummi, G. Pravadelli, A. Fedeli, U. Rossi, and F. Toto. "On the use of a high-level fault model to check properties incompleteness". In Proc. MEMOCODE, pages 145-152, 2003.
2. H. Chockler, O. Kupferman, and M.Y. Vardi. "Coverage Metrics for Formal Verification". In Proc.CHARM, page 111-125, 2003.
3. Y. Hoskote, T. Kam, Pei-Hsin Ho, and Xudong Zhao. "Coverage estimation for symbolic model checking". In Proc. DAC, page 300-305, 1999.
4. S. Katz, O. Grumberg, and D. Geist. "Have I written enough properties? - A method of comparison between specification and implementation". In Proc.CHARM, page 280-297, 1999.
5. R.K. Brayton, et al., "VIS : A System for Verification and Synthesis". In Proc.CAV, page 428-432, 1996.