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

^*この研究の対応する著者

大学院情報生産システム研究科

研究成果: Paper › 査読

7 被引用数 (Scopus)

本文言語	English
ページ	259-260
ページ数	2
DOI	https://doi.org/10.1109/MEMCOD.2005.1487932
出版ステータス	Published - 2005 12月 1
イベント	3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05 - Verona, Italy 継続期間: 2005 7月 11 → 2005 7月 14

Conference

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

ASJC Scopus subject areas

工学（全般）

文献へのアクセス

10.1109/MEMCOD.2005.1487932

他のファイルとリンク

引用スタイル

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