Specification and Verification of Concurrent Programs

Authors

  • Jørgen Staunstrup

DOI:

https://doi.org/10.7146/dpb.v8i94.6510

Abstract

A new technique for specifying and verifying concurrent programs is presented. A specification language for writing abstract specifications of concurrent programs is proposed. Key features of the specification language are means for writing program states as partial histories, for structuring specifications, and for specifying state changes by transition commands. Properties of a program are verified from the abstract specification and not from the implementation.

Author Biography

Jørgen Staunstrup

Downloads

Published

1979-03-01

How to Cite

Staunstrup, J. (1979). Specification and Verification of Concurrent Programs. DAIMI Report Series, 8(94). https://doi.org/10.7146/dpb.v8i94.6510

Issue

No. 94 (1979): PB-94 Specification and Verification of Concurrent Programs

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.