REFERENCE MANUAL FOR THE LANGUAGE VERDI

Authors
  1. Craigen, D.
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 presents an informal description of the language Verdi. Verdi is the interface language with the EVES (Version 1.0) verification system and consists of components for specifying and implementing programs, for proving consistency between specification and implementations, and for supporting miscellaneous other system capabilities.
Report Number
TR-90-5429-09 — Technical Report
Date of publication
15 Feb 1990
Number of Pages
133
DSTKIM No
90-04405
CANDIS No
66645
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: