Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Front Cover
Patrice Godefroid
Springer Berlin Heidelberg, Jan 24, 1996 - Computers - 143 pages
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor.
The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
11
Concurrent Systems and Semantics
19
Using Partial Orders to Tackle State Explosion
27
Copyright

7 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information