Transition traversal coverage estimation for symbolic model checking

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

Research output: Contribution to conferencePaper

7 Citations (Scopus)
Original languageEnglish
Pages259-260
Number of pages2
DOIs
Publication statusPublished - 2005 Dec 1
Event3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05 - Verona, Italy
Duration: 2005 Jul 112005 Jul 14

Conference

Conference3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05
CountryItaly
CityVerona
Period05/7/1105/7/14

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Xu, X., Kimura, S., Horikawa, K., & Tsuchiya, T. (2005). Transition traversal coverage estimation for symbolic model checking. 259-260. Paper presented at 3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05, Verona, Italy. https://doi.org/10.1109/MEMCOD.2005.1487932