Preview
Unable to display preview. Download preview PDF.
References
Michael J.C. Gordon. HOL:A Proof Generating System for Higher-Order Logic. In G. Birtwistle and P. A. Subrahmanyam, editors, VLSI Specification, Verification and Synthesis. Kluwer, 1987.
Michael J.C. Gordon, Arthur J. Milner, and Christopher P. Wadsworth. Edinburgh LCF. Lecture Notes in Computer Science. Vol. 78. Springer-Verlag, 1979.
Elliot Mendelson. Introduction to Mathematical Logic. Wadworth and Brook/Cole, third edition, 1987.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
J.M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, 1989.
DS/FMU/INFRA/001. Infra Project Overview Document. K. Blackburn, ICL Secure Systems, WIN01.
Interim Defence Standard 00-55(Draft). Requirements for the Procurement of Safety Critical Software in Defence Equipment.
The HOL System: Description. SRI International, 4 December 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arthan, R.D. (1991). On formal specification of a proof tool. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_22
Download citation
DOI: https://doi.org/10.1007/3-540-54834-3_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54834-8
Online ISBN: 978-3-540-46449-5
eBook Packages: Springer Book Archive