Abstract
XIsabelle provides a graphical interface to Isabelle [3]. Described here are the components of this interface, and some discussion of the motivation and applications of this work.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
A. Cant, K. A. Eastaughffe and M. A. Ozols. A tool for practical reasoning about state machine designs. In Proc. 1996 Australian Software Engineering Conference, pages 16–26, Melbourne, July 1996. IEEE Computer Society Press.
C. B. Jones, K.D. Jones, P. A. Lindsay and R. Moore. Mural: A Formal Development Support System. Springer-Verlag, 1991.
L. C. Paulson and T. Nipkow. Isabelle: A Generic Theorem Prover, Volume 828 of LNCS. Springer Verlag, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ozols, M.A., Cant, A., Eastaughffe, K.A. (1997). XIsabelle: A system description. In: McCune, W. (eds) Automated Deduction—CADE-14. CADE 1997. Lecture Notes in Computer Science, vol 1249. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63104-6_38
Download citation
DOI: https://doi.org/10.1007/3-540-63104-6_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63104-0
Online ISBN: 978-3-540-69140-2
eBook Packages: Springer Book Archive