2008

Principles of the Spin Model Checker

Authors:

ISBN: 978-1-84628-769-5 (Print) 978-1-84628-770-1 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xv

  2. No Access

    Book Chapter

    Pages 1-18

    Sequential Programming in Promela

  3. No Access

    Book Chapter

    Pages 19-27

    Verification of Sequential Programs

  4. No Access

    Book Chapter

    Pages 29-46

    Concurrency

  5. No Access

    Book Chapter

    Pages 47-67

    Synchronization

  6. No Access

    Book Chapter

    Pages 69-93

    Verification with Temporal Logic

  7. No Access

    Book Chapter

    Pages 95-103

    Data and Program Structures

  8. No Access

    Book Chapter

    Pages 105-124

    Channels

  9. No Access

    Book Chapter

    Pages 125-136

    Nondeterminism

  10. No Access

    Book Chapter

    Pages 137-144

    Advanced Topics in Promela

  11. No Access

    Book Chapter

    Pages 145-161

    Advanced Topics in Spin

  12. No Access

    Book Chapter

    Pages 163-200

    Case Studies

  13. Back Matter

    Pages 201-216