Report on m-EVES

Reference

Jim Grundy. Report on m-EVES. Research Report ERL-0545-RR. Electronics & Surveillance Research Laboratory, PO Box 1500, Salisbury SA 5108, Australia. March 1991.

Abstract

This report reviews the verification tool m-EVES (Environment for Verifying and Evaluating Software). It describes the two main components of m-EVES: the language, m-Verdi, and the theorem prover, m-NEVER. The main purpose of this report is to describe how problems are attacked in m-EVES, and to draw conclusions about the strengths and weaknesses of m-Verdi and m-NEVER. Where appropriate, comparisons are made with other program verification and theorem proving environments.

BibTeX

Here is an appropriate BibTeX entry:

  @TECHREPORT{Grundy:1991:RME,
    author      = "Jim Grundy",
    title       = "Report on {m-EVES}",
    institution = "Information Technology Division,
		   Electronics \& Surveilance
		   Research Laboratory,
	           Defence Science \& Technology
		   Organisation",
    address     = "Building 171 Laboratories Area,
                   PO Box 1500, Salisbury SA 5108,
		   Australia",
    month       = mar,
    year        = 1991,
    type        = "ERL Research Report",
    number      = "ERL-0545-RR"}

Citations

If you liked this paper, then you might also like the following papers which cite it:

• Jian Chen and Jun Han. A Review of EVES. Technical Report 93-5. Department of Computer Science, University of Queensland, QLD 4072, Australia. May 1993.
• Jim Grundy. A Method of Program Refinement. PhD Thesis, Technical Report 318. University of Cambridge, Computer Laboratory, New Museums Site, Pembroke Street, Cambridge CB2 3QG, England. November 1993.

Where To Find it

Director
Electronics & Surveilance Research Laboratory
PO Box 1500
Salisbury SA 5108
AUSTRALIA