Part of the Lecture Notes in Computer Science book series (LNCS, volume 1249)
XIsabelle: A system description
XIsabelle provides a graphical interface to Isabelle . Described here are the components of this interface, and some discussion of the motivation and applications of this work.
Unable to display preview. Download preview PDF.
- 1.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.Google Scholar
- 2.C. B. Jones, K.D. Jones, P. A. Lindsay and R. Moore. Mural: A Formal Development Support System. Springer-Verlag, 1991.Google Scholar
- 3.L. C. Paulson and T. Nipkow. Isabelle: A Generic Theorem Prover, Volume 828 of LNCS. Springer Verlag, 1994.Google Scholar
© Springer-Verlag Berlin Heidelberg 1997