EVES SYSTEM DESCRIPTION (paper presented at the Conference on Automated Deduction (CADE), New York, US, summer 1992)

Authors
  1. Craigen, D.
  2. Kromodimoeljo, S.
  3. Meisels, I.
  4. Pase, B.
  5. Saaltink, M.
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
Briefly describes the Verdi language; focuses on the EVES verification environment that has been implemented, particularly the theorem prover component.
Report Number
ORA-CP-91-6017-44 — Conference Paper
Date of publication
15 Nov 1991
Number of Pages
5
DSTKIM No
92-02424
CANDIS No
105299
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: