RecordNumber
35668
Author
Wang, Chao
Title
Abstraction refinement for large scale model checking
Author Statement
Chao Wang, Gary D. Hachtel, Fabio Somenzi
Publication
Springer
Publication Year
2006
Collation
xiv, 179 p. : illus
Series
Series on integrated circuits and systems
Notes
0387341552 , Includes bibliographical references (p. 156-169) and index
Subject
Computer systems -- Verification -- Mathematical models , Integrated circuits -- Verification -- Mathematical models , Electronic systems -- Verification -- Mathematical models
ADDED ENTRIES
Hachtel, Gary D , Somenzi, Fabio ,
LC Class
QA
LC Number
76.76
LC CutterNumber
.V47W36
LC Date
2006
وارد کنندة اطلاعات
داوري