EVES: AN OVERVIEW

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
Describes a new Formal Methods tool called EVES. EVES consists mainly of a set theoretic-based language, called Verdi, and an automateddeduction system, called NEVER. Presents an overview of Verdi, NEVER,the underlying mathematics and develop two small programs so as to demonstrate the basic functionality of EVES.
Report Number
ORA-CP-91-5402-43 — Conference Paper
Date of publication
15 Mar 1991
Number of Pages
23
DSTKIM No
93-00238
CANDIS No
127465
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: