Verification of Sequential and Concurrent Programs
Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenger for computer science is to develop methods that ensure program correctness. This textbook provides...
Main Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
New York, NY
Springer New York
1997, 1997
|
Edition: | 2nd ed. 1997 |
Series: | Texts in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1 Introduction
- 2 Preliminaries
- 3 Deterministic Programs
- 4 Disjoint Parallel Programs
- 5 Parallel Programs with Shared Variables
- 6 Parallel Programs with Synchronization
- 7 Nondeterministic Programs
- 8 Distributed Programs
- 9 Fairness
- References
- Author Index
- Symbol Index