Book Volume 1032 1996

Partial-Order Methods for the Verification of Concurrent Systems

An Approach to the State-Explosion Problem

Editors:

ISBN: 978-3-540-60761-8 (Print) 978-3-540-49444-7 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Chapter and Conference Paper

    Pages 11-18

    Introduction

  3. No Access

    Chapter and Conference Paper

    Pages 19-26

    Concurrent systems and semantics

  4. No Access

    Chapter and Conference Paper

    Pages 27-40

    Using partial orders to tackle state explosion

  5. No Access

    Chapter and Conference Paper

    Pages 41-73

    Persistent sets

  6. No Access

    Chapter and Conference Paper

    Pages 75-83

    Sleep sets

  7. No Access

    Chapter and Conference Paper

    Pages 85-102

    Verification of safety properties

  8. No Access

    Chapter and Conference Paper

    Pages 103-111

    Model checking

  9. No Access

    Chapter and Conference Paper

    Pages 113-127

    Experiments

  10. No Access

    Chapter and Conference Paper

    Pages 129-132

    Conclusions

  11. Back Matter

    Pages -