-
Anglický jazyk
Abstraction Refinement for Large Scale Model Checking
Autor: Chao Wang
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
111.02 €
bežná cena: 123.35 €
O knihe
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.
- Vydavateľstvo: Springer US
- Rok vydania: 2014
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9781489993953
Nemecký jazyk 
