Kniha Abstraction Refinement for Large Scale Model Checking Chao Wang

Abstraction Refinement for Large Scale Model Checking

Jazyk: Angličtina
Vazba: Pevná
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
2 567
This book summarizes recent research on abstraction techniques for model checking large digital syst...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2006
Stránek
179
EAN
9780387341552
ISBN
0387341552
Enbook ID
05247797
Hmotnost
1000
Rozměry
155 x 235 x 16

Kompletní popis

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

Mohlo by vás zajímat

3 759
1 120

Caleb's Reading Log

Martha Day Zschock
185

Deepening Your Marriage

Jilene Scherbenske
342

Wild Justice

Kelley Armstrong
327
380

Waterville

Phyllis Witzler
541
297

Weaving

CHristina Martin
191
284

Zákaznicí kteří koupili tuto knihu koupili také

Apreciatividad

Laura Isanta
391
252
1 774
230

5-3-1 Methode

Dr. Martin Sewer
336
534
2 481
1 768

Lara's Theme

Detlef Wolf
446