Abstract
This paper reports on research and development work which has been going on in the High Assurance Team at ICL Associated Services Division concerned with re-engineering the HOL system to industrial high-assurance standards, while improving the productivity.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
R.D. Arthan. Formal Specification of a Proof Tool. In S.Prehn and W.J.Toetenel, editors, VDM '91, Formal Software Development Methods, LNCS 551, volume 551, pages 356–370. Springer-Verlag, 1991.
R.B. Jones. Methods and Tools for the Verification of Critical Properties. In R.Shaw, editor, proc. 5th DCS-FACS refinement workshop. Springer-Verlag (to appear), 1992.
J.M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, 1989.
INTERIM Defence Standard 00-55 Issue 1. The Procurement of Safety Critical Software in Defence Equipment. Ministry of Defence, 5th April 1991.
The HOL System: Description. SRI International, 4 December 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blackburn, K. (1992). A report on ICL HOL. In: Kapur, D. (eds) Automated Deduction—CADE-11. CADE 1992. Lecture Notes in Computer Science, vol 607. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55602-8_216
Download citation
DOI: https://doi.org/10.1007/3-540-55602-8_216
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55602-2
Online ISBN: 978-3-540-47252-0
eBook Packages: Springer Book Archive