Abstraction Refinement for Large Scale Model Checking

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

Автор: Fabio Somenzi

Език:

Корици: С меки корици

Издател: Springer-Verlag New York Inc.

Наличност: Външен склад

Изпращаме след 10-18 дни

123.74 € 242.02 лв

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

Информация за книгата

Автор

Fabio Somenzi

Език

Английски език

Корици

Книга - С меки корици

Издадена

2014

страници

179

EAN

9781489993953

ISBN

9781489993953

Enbook ID

09165444

Издател

Springer-Verlag New York Inc.

Теглоt

257

Размери

210 x 2 x 11

Пълно описание

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.§

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Abstraction Refinement for Large Scale Model Checking

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също