Skip to main content
SpringerLink
Log in

Verification of Sequential and Concurrent Programs

  • Book
  • © 1991

Overview

Authors:
  1. Krzysztof R. Apt

    1. CWI, Amsterdam, The Netherlands

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Ernst-Rüdiger Olderog

    1. Department of Computer Science, University of Oldenburg, Oldenburg, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Computer Science (MCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. In the Beginning

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introduction

      • Krzysztof R. Apt, Ernst-Rüdiger Olderog
      Pages 3-19

    3. Preliminaries

      • Krzysztof R. Apt, Ernst-Rüdiger Olderog
      Pages 20-53

  3. Sequential Programs

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Deterministic Programs

      • Krzysztof R. Apt, Ernst-Rüdiger Olderog
      Pages 57-105

    3. Nondeterministic Programs

      • Krzysztof R. Apt, Ernst-Rüdiger Olderog
      Pages 106-175

  4. Parallel Programs

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. Disjoint Parallel Programs

      • Krzysztof R. Apt, Ernst-Rüdiger Olderog
      Pages 179-206

    3. Parallel Programs with Shared Variables

      • Krzysztof R. Apt, Ernst-Rüdiger Olderog
      Pages 207-266

    4. Parallel Programs with Synchronization

      • Krzysztof R. Apt, Ernst-Rüdiger Olderog
      Pages 267-324

  5. Distributed Programs

    1. Front Matter

      Pages 325-325
      Download chapter PDF

    2. Distributed Programs

      • Krzysztof R. Apt, Ernst-Rüdiger Olderog
      Pages 327-416

  6. Back Matter

    Pages 417-444
    Download chapter PDF
Back to top

Keywords

About this book

This book provides a structured introduction to the verification of sequen­ tial and concurrent programs. It thus belongs to the area of programming languages but at the same time it is firmly based on mathematical logic. In logic one usually studies fixed syntactic or semantic objects. This is not necessarily the case in the area of program verification. The objects studied here, namely programs, do not have a standard syntax, their semantics can be defined in many different ways, and several approaches to their verification can be contemplated. These differences lead to various difficult design decisions. Even though we restrict our attention here to one programming style - imperative pro­ gramming - we are still confronted with a veritable cornucopia of pro­ gramming constructs from which an appropriate selection has to be made. Having studied some of these constructs separately does not yet imply that we understand their combined effect.

Authors and Affiliations

  • CWI, Amsterdam, The Netherlands

    Krzysztof R. Apt

  • Department of Computer Science, University of Oldenburg, Oldenburg, Germany

    Ernst-Rüdiger Olderog

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation