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


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a156190.pdf


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