Report on m-EVES.

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 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1991
Accession Number
ADA236014

Entities

People

  • Jim Grundy

Tags

DTIC Thesaurus Topics

  • Australia
  • Buildings And Structures
  • Electronics
  • Electronics Laboratories
  • Environment
  • Language
  • Research Facilities
  • Verification

Readers

  • Computational Linguistics
  • Electrical Engineering
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.