Preview
Unable to display preview. Download preview PDF.
References
J. Dixon, J McLean, and D. Parnas, "Rapid Prototyping by Means of Abstract Module Specifications Written as Trace Axioms," ACM SIGSOFT Engineering Notes 7 pp. 45–49 (1982).
L. Henkin, "The Completeness of First Order Functional Calculus," Journal of Symbolic Logic 14 pp. 159–166 (1949).
J. McLean, "A Formal Foundation for the Trace Method of Software Specification," NRL Report 4878, Naval Research Laboratory, Washington, D. C. 20375 (1982).
J. McLean, "A Formal Method for the Abstract Specification of Software," Journal for the Association of Computing Machinery, forthcoming.
P. Wolper, "Temporal Logic Can Be More Expressive," IEEE Symposium on the Foundations of Computer Science pp. 40–348 (1981).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
McLean, J. (1984). A complete system of temporal logic for specification schemata. In: Clarke, E., Kozen, D. (eds) Logics of Programs. Logic of Programs 1983. Lecture Notes in Computer Science, vol 164. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12896-4_373
Download citation
DOI: https://doi.org/10.1007/3-540-12896-4_373
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12896-0
Online ISBN: 978-3-540-38775-6
eBook Packages: Springer Book Archive