Transition traversal coverage estimation for symbolic model checking

Xingwen Xu; Shinji Kimura; Kazunari Horikawa; Takehiko Tsuchiya

doi:10.1109/MEMCOD.2005.1487932

Transition traversal coverage estimation for symbolic model checking

Xingwen Xu^*, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

^*Corresponding author for this work

Graduate School of Information, Production and Systems

Research output: Contribution to conference › Paper › peer-review

7 Citations (Scopus)

Original language	English
Pages	259-260
Number of pages	2
DOIs	https://doi.org/10.1109/MEMCOD.2005.1487932
Publication status	Published - 2005 Dec 1
Event	3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05 - Verona, Italy Duration: 2005 Jul 11 → 2005 Jul 14

Conference

Conference	3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05
Country/Territory	Italy
City	Verona
Period	05/7/11 → 05/7/14

ASJC Scopus subject areas

Engineering(all)

Access to Document

10.1109/MEMCOD.2005.1487932

Cite this

@conference{dff5572c79bc46b6a328bafa3a592d9a,

title = "Transition traversal coverage estimation for symbolic model checking",

author = "Xingwen Xu and Shinji Kimura and Kazunari Horikawa and Takehiko Tsuchiya",

year = "2005",

month = dec,

day = "1",

doi = "10.1109/MEMCOD.2005.1487932",

language = "English",

pages = "259--260",

note = "3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05 ; Conference date: 11-07-2005 Through 14-07-2005",

}

TY - CONF

T1 - Transition traversal coverage estimation for symbolic model checking

AU - Xu, Xingwen

AU - Kimura, Shinji

AU - Horikawa, Kazunari

AU - Tsuchiya, Takehiko

PY - 2005/12/1

Y1 - 2005/12/1

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 - Paper

AN - SCOPUS:33745167971

SP - 259

EP - 260

T2 - 3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05

Y2 - 11 July 2005 through 14 July 2005

ER -

Transition traversal coverage estimation for symbolic model checking

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this