Z AND EVES (paper presented at the Z User's Group, York, England, December 1991)

Authors
  1. 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
MONITOR AGENCY
Communications Security Establishment, Ottawa ONT (CAN)
Abstract
Assesses the Z notation, the feasibility of using EVES as a proof tool for Z, and the use of the Z "Mathematical Toolkit" with EVES.
Report Number
ORA-CP-91-6017-45 — Conference Paper
Date of publication
15 Nov 1991
Number of Pages
18
DSTKIM No
92-02774
CANDIS No
105605
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: