Книга Abstraction Refinement for Large Scale Model Checking Chao Wang

Abstraction Refinement for Large Scale Model Checking

Език: Английски език
Корици: С твърди корици
Наличност: Външен склад в ограничено количество
Изпращаме след 13-18 дни
116.18 227.23 лв
This book summarizes recent research on abstraction techniques for model checking large digital syst...

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

Език
Английски език
Корици
Книга - С твърди корици
Издадена
2006
страници
179
EAN
9780387341552
ISBN
0387341552
Enbook ID
05247797
Тегло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.§

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

15.32 29.95 лв
162.75 318.31 лв
51.78 101.28 лв

Caleb's Reading Log

Martha Day Zschock
8.13 15.91 лв
32.60 63.75 лв

Deepening Your Marriage

Jilene Scherbenske
14.86 29.07 лв

Wild Justice

Kelley Armstrong
13.51 26.42 лв
16.62 32.51 лв
390.55 763.85 лв

Waterville

Phyllis Witzler
23.86 46.66 лв
47.72 93.32 лв
12.90 25.24 лв
142.35 278.42 лв
163.60 319.98 лв

Weaving

CHristina Martin
8.89 17.38 лв
14.41 28.19 лв

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

13.86 27.11 лв

Apreciatividad

Laura Isanta
16.97 33.20 лв
11.00 21.51 лв
27.37 53.53 лв
82.02 160.43 лв
20.69 40.47 лв
10.04 19.64 лв

5-3-1 Methode

Dr. Martin Sewer
15.62 30.54 лв
24.86 48.62 лв
27.52 53.83 лв
109.50 214.17 лв
15.06 29.46 лв
82.28 160.92 лв

Lara's Theme

Detlef Wolf
19.43 38.01 лв