Adequate proof principles for invariance and liveness properties of concurrent programs
type: Item
instance of: scholarly article
title: Adequate proof principles for invariance and liveness properties of concurrent programs
zbMATH Open document ID: 0542.68014
DOI: 10.1016/0167-6423(84)90003-0
author: Zohar Manna
author: Amir Pnueli
published in: Science of Computer Programming
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3862419
zbMATH Keywords: liveness properties
zbMATH Keywords: invariance properties
zbMATH Keywords: concurrent programs
MaRDI profile type: Publication
full work available at URL: 0167-6423(84)90003-0
OpenAlex ID: W2039025680
Recommended article: Concurrent Program Verification with Invariant-Guided Underapproximation
Recommended article: Specification and verification of concurrent programs through refinements
Recommended article: Q4037126
Recommended article: On verifying that a concurrent program satisfies a nondeterministic specification
Recommended article: A proof system for concurrent ADA programs
Recommended article: Property preserving abstractions for the verification of concurrent systems
description: scientific article; zbMATH DE number 3862419