RecordNumber
1690
Author
Wang, Chao
Title
Abstraction refinement for large scale model checking
Author Statement
Chao Wang, Gary D. Hachtel, Fabio Somenzi.
Publication
Springer
Publication Year
c2006
Collation
xiv, 179 p. ill.
Series
Series on integrated circuits and systems
Notes
Includes bibliographical references (p. 156-169) and index.
Subject
Computer systems --VerificationMathematical models , Integrated circuits --VerificationMathematical models , Electronic systems --VerificationMathematical models
ADDED ENTRIES
Hachtel, Gary D. , Somenzi, Fabio.
Main class
004.
Sub class
21
Cutter no
W246a
ISBN
9780387346007