Unfoldings: A Partial-Order Approach to Model Checking

by Keijo Heljanko and Javier Esparza

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 3642096050
• ISBN13: 9783642096051
• Release Date: November 2010
• Publisher: Springer
• Length: 172 Pages
• Weight: 0.59 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"