INVESTIGATION OF PROOF TECHNIQUES WITHIN THE EVES VERIFICATION TECHNOLOGY

Authors
  1. Kromodimoeljo, S.
  2. Pase, B.
Corporate Authors
Odyssey Research Associates Inc, Ottawa ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
The purpose of the 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
FR-92-5451-02 — Final Report
Date of publication
15 May 1992
Number of Pages
76
DSTKIM No
92-03341
CANDIS No
125788
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: