Specifying and Verifying Concurrent Programs.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1985
Accession Number
ADA156190

Entities

People

  • L. Lamport

Organizations

  • SRI International

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Communication Systems
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • High Level Languages
  • Language
  • Machine Languages
  • Military Research
  • Neurobehavioral Manifestations
  • Plastic Explosives
  • Procedures (Computers)
  • Programming Languages
  • Simulations
  • Theoretical Computer Science

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.