Abstraction Refinement for Large Scale Model Checking

Name: Abstraction Refinement for Large Scale Model Checking
Brand: Springer-Verlag New York Inc.
SKU: 9780387341552
Price: 40448 HUF
Availability: InStock

Szerző: Chao Wang, Gary D. Hachtel, Fabio Somenzi

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

40 448 Ft

This book summarizes recent research on abstraction techniques for model checking large digital syst...

Információk a könyvről

Szerző

Chao Wang, Gary D. Hachtel, Fabio Somenzi

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2006

oldal

179

EAN

9780387341552

ISBN

0387341552

Enbook ID

05247797

Kiadó

Springer-Verlag New York Inc.

Súly

1000

Méretek

155 x 235 x 16

Teljes leírás

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. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.§

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Abstraction Refinement for Large Scale Model Checking

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták