Unfoldings: A Partial-Order Approach to Model Checking

Description

Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components.

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). Self-contained chapters cover transition systems and their products; unfolding products; search procedures for basic verification problems, such as reachability and livelocks; and model checking LTL. The final chapter summarizes the results of the book, and points the reader to tools and case studies.

The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.






http://rapidshare.com/files/99418551/Unfoldings.rar


$$ Buy "Unfoldings: A Partial-Order Approach to Model Checking" on Amazon $$

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 "Unfoldings: A Partial-Order Approach to 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 : 1616
2. Principles of Model Checking
3. Principles of Model Checking
4. Model Checking Software
5. Abstraction Refinement for Large Scale Model Checking
6. Abstraction Refinement for Large Scale Model Checking
7. Abstraction Refinement for Large Scale Model Checking
8. Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
9. Gary M. Lieberman - Second Order Parabolic Partial Differential Equations
10. Gary M. Lieberman - Second Order Parabolic Partial Differential Equations
11. Stochasticity and Partial Order: Doubly Stochastic Maps and Unitary Mixing
12. Multi-dimensional Hyperbolic Partial Differential Equations: First-order Systems and Applications
13. Introduction to Partial Differential Equations A Computational Approach
14. Introduction to Partial Differential Equations : A Computational Approach
15. Applied Partial Differential Equations:: A Visual Approach
16. Introduction.to.Partial.Differential.Equations.A.Computational.Approach