TUTORIAL EXAMPLES FOR EVES

Authors
  1. Meisels, I.
  2. Saaltink, M.
  3. Summerskill, K.
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 examples were summarized in four reports which were intended to result in the following: Identification of some of the strengths and weaknesses of the evolving verification system, providing feedback for the ongoing development of the system. Exercise of recent additions to the verification system, e.g. libraries. Suggestions for new features. Problem detection and fixing. Tutorial examples of the specification, implementation, and verification of nontrivial, complete programs.
Report Number
FR-90-5443-06 — Final Report; See also TR-90-5443-05 (DSIS 90-04806)
Date of publication
15 Mar 1990
Number of Pages
13
DSTKIM No
90-04807
CANDIS No
67037
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: