Transition traversal coverage estimation for symbolic model checking

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

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

研究成果: Paper査読

7 被引用数 (Scopus)
本文言語English
ページ259-260
ページ数2
DOI
出版ステータスPublished - 2005 12 1
イベント3rd ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design, MEMOCODE'05 - Verona, Italy
継続期間: 2005 7 112005 7 14

Conference

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

ASJC Scopus subject areas

  • 工学(全般)

引用スタイル