Overview
- 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)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
Authors and Affiliations
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