Abstraction Refinement for Large Scale Model Checking

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

Автор: Chao Wang, Gary D. Hachtel, Fabio Somenzi

Език:

Корици: С твърди корици

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

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

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

116.18 € 227.23 лв

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

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

Автор

Chao Wang, Gary D. Hachtel, Fabio Somenzi

Език

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

Корици

Книга - С твърди корици

Издадена

2006

страници

179

EAN

9780387341552

ISBN

0387341552

Enbook ID

05247797

Издател

Springer-Verlag New York Inc.

Теглоt

1000

Размери

155 x 235 x 16

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

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

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

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

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

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