Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems

Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems

(Author) (Author) (Author)
hardback
Published: 20 July, 2006
Standard worldwide delivery by Tue, August 11 - Fri, August 14
Order within 0
Condition: NEW
$128.29
Price includes shipping
Available 20 in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Chao Wang

View All Books by Chao Wang
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
Chao Wang
$67.43
New
Add to basket
Chinese Currency Exchange Rates Analysis
Chinese Currency Exchange Rates Analysis
Chao Wang
$31.70
New
Add to basket
Computational Advertising
Computational Advertising
Chao Wang
$60.81 $64.16
New
Add to basket
High Performance Computing for Big Data
High Performance Computing for Big Data
Chao Wang
$60.61 $64.16
New
Add to basket
From Internet of Things to Smart Cities
From Internet of Things to Smart Cities
Chao Wang
$133.06 $153.74
New
Add to basket
Safe Robot Navigation Among Moving and Steady Obstacles
Safe Robot Navigation Among Moving and Steady Obstacles
Chao Wang
$97.23 $120.32
New
Add to basket
Theory of Translation Closedness for Time Scales
Theory of Translation Closedness for Time Scales
Chao Wang
$162.79
New
Add to basket
Combined Measure and Shift Invariance Theory of Time Scales and Applications
Combined Measure and Shift Invariance Theory of Time Scales and Applications
Chao Wang
$114.80 $120.31
New
Add to basket
Network and Parallel Computing
Network and Parallel Computing
Chao Wang
$61.51
New
Add to basket
Theory of Translation Closedness for Time Scales
Theory of Translation Closedness for Time Scales
Chao Wang
$161.71
New
Add to basket

Description

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both 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 describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
See more

More Details

Type Book
ISBN13 9780387341552
ISBN10 0387341552
Number Of Pages 179
Item Weight 1000 g
Publisher / Reseller Springer-Verlag New York Inc.
Format hardback
Edition 2006 ed.
See More +