Transition traversal coverage estimation for symbolic model checking

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'05
Pages259-260
Number of pages2
Volume2005
DOIs
Publication statusPublished - 2005
Event3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05 - Verona
Duration: 2005 Jul 112005 Jul 14

Other

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

Fingerprint

Model checking

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. In Proceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'05 (Vol. 2005, pp. 259-260). [1487932] https://doi.org/10.1109/MEMCOD.2005.1487932

Transition traversal coverage estimation for symbolic model checking. / Xu, Xingwen; Kimura, Shinji; Horikawa, Kazunari; Tsuchiya, Takehiko.

Proceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'05. Vol. 2005 2005. p. 259-260 1487932.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Xu, X, Kimura, S, Horikawa, K & Tsuchiya, T 2005, Transition traversal coverage estimation for symbolic model checking. in Proceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'05. vol. 2005, 1487932, pp. 259-260, 3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05, Verona, 05/7/11. https://doi.org/10.1109/MEMCOD.2005.1487932
Xu X, Kimura S, Horikawa K, Tsuchiya T. Transition traversal coverage estimation for symbolic model checking. In Proceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'05. Vol. 2005. 2005. p. 259-260. 1487932 https://doi.org/10.1109/MEMCOD.2005.1487932
Xu, Xingwen ; Kimura, Shinji ; Horikawa, Kazunari ; Tsuchiya, Takehiko. / 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. Vol. 2005 2005. pp. 259-260
@inproceedings{dff5572c79bc46b6a328bafa3a592d9a,
title = "Transition traversal coverage estimation for symbolic model checking",
author = "Xingwen Xu and Shinji Kimura and Kazunari Horikawa and Takehiko Tsuchiya",
year = "2005",
doi = "10.1109/MEMCOD.2005.1487932",
language = "English",
volume = "2005",
pages = "259--260",
booktitle = "Proceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'05",

}

TY - GEN

T1 - Transition traversal coverage estimation for symbolic model checking

AU - Xu, Xingwen

AU - Kimura, Shinji

AU - Horikawa, Kazunari

AU - Tsuchiya, Takehiko

PY - 2005

Y1 - 2005

UR - http://www.scopus.com/inward/record.url?scp=33745167971&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33745167971&partnerID=8YFLogxK

U2 - 10.1109/MEMCOD.2005.1487932

DO - 10.1109/MEMCOD.2005.1487932

M3 - Conference contribution

AN - SCOPUS:33745167971

VL - 2005

SP - 259

EP - 260

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

ER -