Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 11.49 €
Shopping guide
My account
▸
Empty :-(
0
Abstraction Refinement for Large Scale Model Checking
Language
English
English
Book
Hardback
This book summarizes recent research on abstraction techniques for model checking large digital syst...
Full description
Libristo code: 05247797
?
277 b
277 b
114.38
€
Low in stock at our supplier
Shipping in 13-18 days
30-day return policy
Customers also purchased
/
Paperback
28.28
€
/
Paperback
24.04
€
/
Paperback
56.88
€
/
Paperback
54.36
€
/
Paperback
46.07
€
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.§
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Abstraction Refinement for Large Scale Model Checking
Author
Chao Wang, Gary D. Hachtel, Fabio Somenzi
Language
English
English
Binding
Book - Hardback
Date of issue
2006
Number of pages
179
EAN
9780387341552
ISBN
0387341552
Libristo code
05247797
Publishers
Springer-Verlag New York Inc.
Weight
1000
Dimensions
155 x 235 x 16
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
12.82
€
/
Paperback
83.66
€
/
Paperback
14.84
€