Verification of Concurrent Programs: Temporal Proof Principles - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Zohar Manna, Amir Pnueli. Verification of Concurrent Programs: Temporal Proof Principles. In Dexter Kozen, editor, Logics of Programs, Workshop, Yorktown Heights, New York, May 1981. Volume 131 of Lecture Notes in Computer Science, pages 200-252, Springer, 1981.

The following publications are possibly variants of this publication:

Adequate Proof Principles for Invariance and Liveness Properties of Concurrent ProgramsZohar Manna, Amir Pnueli. SCP, 4(3):257-289, 1984.

runs on WebDSL