Bestellen Terug

Hoofdkenmerken

Auteur:	Wang, Chao; Hachtel, Gary D.
Titel:	Abstraction Refinement for Large Scale Model Checking
Uitgever:	Springer-Verlag New York Inc.
ISBN:	9781489993953
ISBN boekversie:	9780387346007
Serie:	Integrated Circuits and
Editie:	2006 ed.
Land van oorsprong:	United States
Prijs:	€ 119,78
Verschijningsdatum:	06-12-2014
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	General (US: Trade)
Categorie:	Circuits & components
Geillustreerd:	XIV, 179 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	179
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	308

 

Inhoud:

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering 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.