References
L. Lamport The ‘Hoare Logic’ of Concurrent Programs. Acta Informatica to appear, 1980.
L. Lamport 'sometime’ is Sometimes ‘Not Never': A Tutorial on the Temporal Logic of Programs. In Proceedings of the Seventh Annual Symposium on Principles of Programming Languages. ACM SIGACT-SIGPLAN, January, 1980.
S. Owicki and L. Lamport Proving Livness Properties of Programs. Submitted for publication.
S. Owicki and D. Gries. An Axiomatic Proof Technique for Parallel Programs. Acta Informatica 6(4):319–340, 1976.
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lamport, L., Owicki, S. (1982). Program logics and program verification. In: Kozen, D. (eds) Logics of Programs. Logic of Programs 1981. Lecture Notes in Computer Science, vol 131. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025784
Download citation
DOI: https://doi.org/10.1007/BFb0025784
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11212-9
Online ISBN: 978-3-540-39047-3
eBook Packages: Springer Book Archive