SOFTWARE MANUAL FOR EVES VERSION 1.0

Authors
  1. Pase, B.
  2. Kromodimoeljo, S.
  3. Meisels, I.
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 document describes the procedure for installing and loading Version 1.0 of the EVES verification system. The system which is included on the accompanying distribution tape, dated November 1989, is intended to run on version 7.1 of the Lisp environment for the Symbolics 3600 series Lisp machines.
Report Number
TR-89-5429-12 — Technical Report
Date of publication
15 Nov 1989
Number of Pages
9
DSTKIM No
90-04404
CANDIS No
66644
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: