m-EVES MONITORING CONTRACT SUMMARY REPORT

Authors
  1. Andrews, J.D.
Corporate Authors
Andyne Computing Ltd, Kingston ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
Andyne has been contracted to perform monitoring of the effort at I.P. Sharp Associates for the development of a code verification environment and methodology. The environment will be called "EVES", standing for an "Environment for the Verification and Evaluation of Systems", the methodology is based on formal mathematics. The prototype system, m-EVES, has (1) a formal mathematical foundation, (2) a language description of an interim programming language (m-Verdi) based on the mathematics, and (3) a prototype theorem prover developed concurrently with the mathematics and now being brought into consistency with it.
Date of publication
15 Feb 1988
Number of Pages
9
DSTKIM No
90-04400
CANDIS No
66640
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: