Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs by Krzysztof R. Apt, Ernst-Rüdiger Olderog.

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Apt, Krzysztof R. (Author), Olderog, Ernst-Rüdiger (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 1997.
Edition:2nd ed. 1997.
Series:Texts in Computer Science,
Springer eBook Collection.
Subjects:
Computer logic.
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items