Abstraction Refinement for Large Scale Model Checking (Hardcover, 2006 ed.)

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	Integrated Circuits and Systems
Release date:	July 2006
First published:	2006
Authors:	Chao Wang • Gary D. Hachtel • Fabio Somenzi
Dimensions:	235 x 155 x 12mm (L x W x T)
Format:	Hardcover
Pages:	179
Edition:	2006 ed.
ISBN-13:	978-0-387-34155-2
Categories:	Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
LSN:	0-387-34155-2
Barcode:	9780387341552

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!