Accession Number:

ADA156190

Title:

Specifying and Verifying Concurrent Programs.

Descriptive Note:

Final rept. 15 Aug 83-14 Nov 84,

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Personal Author(s):

Report Date:

1985-02-01

Pagination or Media Count:

94.0

Abstract:

The goal of this project was the development of formal methods for the specification and verification of concurrent programs to help avoid software errors in concurrent systems. This involved research in three areas Specification Verification and Semantics. Contents What It Means for a Concurrent Program to Satisfy a Specification An Axiomatic Semantics of Concurrent Programming Languages Constraints - A Uniform Approach to Aliasing and Typing.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE