Cart
  • Free Shipping on all orders in Australia
  • Over 7 million books in stock
  • Proud to be B-Corp
  • We aim to be carbon neutral by 2022
  • Over 120,000 Trustpilot reviews
Item 1 of 0
Abstraction Refinement for Large Scale Model Checking By Chao Wang

Abstraction Refinement for Large Scale Model Checking by Chao Wang

Condition - New
$190.29
Only 2 left

Summary

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.

This book will be specially printed for your order, which means it may take a little longer to arrive (5 days). We do this to cut down on waste & to help protect our planet.

Abstraction Refinement for Large Scale Model Checking Summary

Abstraction Refinement for Large Scale Model Checking by 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 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.

Table of Contents

Symbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive Decomposition.- Far Side Image Computation.- Refining SAT Decision Ordering.- Conclusions.

Additional information

NLS9781489993953
9781489993953
1489993959
Abstraction Refinement for Large Scale Model Checking by Chao Wang
New
Paperback
Springer-Verlag New York Inc.
20141206
179
null null null null null null null null null null
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - Abstraction Refinement for Large Scale Model Checking