Abstraction Refinement for Large Scale Model Checking

Description

Publisher: Springer
Language: English
ISBN: 0387341552
Paperback: 186 pages
Data: Jul 2006
Format: PDF
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.

RapidShare
Click the link above to download from RapidShare
http://rapidshare.com/ DEPOSITfiles
Click the link above to download from DEPOSITfiles
http://depositfiles.com/

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Abstraction Refinement for Large Scale Model Checking" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1409
2. Abstraction Refinement for Large Scale Model Checking
3. Abstraction Refinement for Large Scale Model Checking
4. Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
5. Large-Scale Knowledge Resources: Construction and Application - Third International Conference on Large-Scale Knowledge Resourc
6. Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments (Studies in Computational Intelligence)
7. Principles of Model Checking
8. Model Checking Software
9. Principles of Model Checking
10. Principles of Model Checking
11. Principles of Model Checking (Repost)
12. Verification, Model Checking, and Abstract Interpretation
13. Model Abstraction in Dynamical Systems: Application to Mobile Robot Control
14. 25 Years of Model Checking: History, Achievements, Perspectives
15. Unfoldings: A Partial-Order Approach to Model Checking
16. Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation