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

Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Explosion Problem / edited by Patrice Godefroid.

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Godefroid, Patrice (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996.
Edition:1st ed. 1996.
Series:Lecture Notes in Computer Science, 1032
Springer eBook Collection.
Subjects:
Computer logic.
Software engineering.
Architecture, Computer.
Computer communication systems.
Computers.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Concurrent systems and semantics
  • Using partial orders to tackle state explosion
  • Persistent sets
  • Sleep sets
  • Verification of safety properties
  • Model checking
  • Experiments
  • Conclusions.

Similar Items