Verification of Sequential and Concurrent Programs

ISBN: 978-1-84882-744-8 (Print) 978-1-84882-745-5 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xxiii

  2. In the Beginning

    1. Front Matter

      Pages 3-3

    2. No Access

      Chapter

      Pages 3-17

      Introduction

    3. No Access

      Chapter

      Pages 18-52

      Preliminaries

  3. Deterministic Programs

    1. Front Matter

      Pages 53-53

    2. No Access

      Chapter

      Pages 55-126

      While Programs

    3. No Access

      Chapter

      Pages 127-150

      Recursive Programs

    4. No Access

      Chapter

      Pages 151-183

      Recursive Programs with Parameters

    5. No Access

      Chapter

      Pages 185-241

      Object-Oriented Programs

  4. Parallel Programs

    1. Front Matter

      Pages 243-243

    2. No Access

      Chapter

      Pages 243-266

      Disjoint Parallel Programs

    3. No Access

      Chapter

      Pages 267-305

      Parallel Programs with Shared Variables

    4. No Access

      Chapter

      Pages 307-346

      Parallel Programs with Synchronization

  5. Nondeterministic and Distributed Programs

    1. Front Matter

      Pages 347-347

    2. No Access

      Chapter

      Pages 347-372

      Nondeterministic Programs

    3. No Access

      Chapter

      Pages 373-406

      Distributed Programs

    4. No Access

      Chapter

      Pages 407-455

      Fairness

  6. Back Matter

    Pages 457-502