Skip to main content
SpringerLink
Log in

DOVE: A tool for design oriented verification and evaluation

  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1349))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  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. K. A. Eastaughffe, M. A. Ozols and A. Cant. Proof tactics for a theory of state machines in a graphical environment. In Proc. 14th Intenational Conference on Automated Deduction (CADE-14), Lecture Notes in Artificial Intelligence, Townsville, Australia, July 1997. Springer-Verlag.

    Google Scholar 

  3. K. A. Eastaughffe, M. A. Ozols and A. Cant. The visualisation of interactive proofs. In Proceedings of 20th Australasian Computer Science Conference, Australian Computer Science Communications, Volume 19(1), pages 297–306, 1997.

    Google Scholar 

  4. J. K. Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994.

    Google Scholar 

  5. M. A. Ozols, A. Cant and K. A. Eastaughffe. XIsabelle: A system description. In Proc. 14th Intenational Conference on Automated Deduction (CADE-14), Lecture Notes in Artificial Intelligence, Townsville, Australia, July 1997. Springer-Verlag.

    Google Scholar 

  6. M. A. Ozols, A. Cant, K. A. Eastaughffe and V. Gajanayake. XIsabelle User Guide. 1997.

    Google Scholar 

  7. M. A. Ozols, K. A. Eastaughffe, A. Cant, V. Gajanayake and G. Tench. DOVE User Guide. 1997.

    Google Scholar 

  8. L. C. Paulson and T. Nipkow. Isabelle: A Generic Theorem Prover, Volume 828 of LNCS. Springer Verlag, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Information Technology Division, Defence Science and Technology Organisation, PO Box 1500, 5108, Salisbury, South Australia

    M. A. Ozols, K. A. Eastaughffe & A. Cant

Authors
  1. M. A. Ozols
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. A. Eastaughffe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Cant
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Johnson

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ozols, M.A., Eastaughffe, K.A., Cant, A. (1997). DOVE: A tool for design oriented verification and evaluation. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000502

Download citation

  • DOI: https://doi.org/10.1007/BFb0000502

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63888-9

  • Online ISBN: 978-3-540-69661-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation