Abstraction Refinement for Large Scale Model Checking

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

Szerző: Fabio Somenzi

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

42 308 Ft

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

Információk a könyvről

Szerző

Fabio Somenzi

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2014

oldal

179

EAN

9781489993953

ISBN

9781489993953

Enbook ID

09165444

Kiadó

Springer-Verlag New York Inc.

Súly

257

Méretek

210 x 2 x 11

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