Authors:
- Proposes fully automatic techniques for improving the performance of abstraction refinement
- The algorithms in this book demonstrate significant improvement over prior techniques
- Includes supplementary material: sn.pub/extras
Part of the book series: Integrated Circuits and Systems (ICIR)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
NEC Laboratories America, Princeton, USA
Chao Wang
-
Department of Electrical/Computer Engineering, University of Colorado, Boulder, USA
Gary D. Hachtel, Fabio Somenzi
Bibliographic Information
Book Title: Abstraction Refinement for Large Scale Model Checking
Authors: Chao Wang, Gary D. Hachtel, Fabio Somenzi
Series Title: Integrated Circuits and Systems
DOI: https://doi.org/10.1007/0-387-34600-7
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer-Verlag US 2006
Hardcover ISBN: 978-0-387-34155-2Published: 20 July 2006
Softcover ISBN: 978-1-4899-9395-3Published: 06 December 2014
eBook ISBN: 978-0-387-34600-7Published: 15 September 2006
Series ISSN: 1558-9412
Series E-ISSN: 1558-9420
Edition Number: 1
Number of Pages: XIV, 179
Topics: Electrical Engineering, Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design