ADDENDUM TO THE FINAL REPORT FOR THE INVESTIGATION OF PROOF TECHNIQUES WITH THE EVES VERIFICATION TECHNOLOGY

Authors
  1. Saaltink, M.
  2. Kromodimoeljo, M.
  3. Pase, B.
Corporate Authors
ORA Canada, Ottawa ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
The report is an addendum to the "Final Report for the Investigations of Proof Techniques Within the EVES Verification Technology" (5), which reported on the work performed for the Canadian Department of National Defence. The purpose of that work was to research and experiment with various approaches for enhancing the capabilities of the theorem prover NEVER and, hence, the overall effectiveness of EVES.
Report Number
TR-93-5451-03 —
Date of publication
01 Dec 1993
Number of Pages
20
DSTKIM No
94-00706
CANDIS No
137679
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: