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) : Lamport,L
Report Date : Feb 1985
Pagination or Media Count : 94
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.
Descriptors : *COMPUTER PROGRAM VERIFICATION , SPECIFICATIONS , PROGRAMMING LANGUAGES , SEMANTICS , ERRORS , APPROACH
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE