A PROTOTYPE VERDI/ADA ENVIRONMENT: A FORMAL METHOD (TASK 8)

Authors
  1. Andrews, J.D.
  2. MacEwen, G.H.
Corporate Authors
Andyne Computing Ltd, Kingston ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
Describes a simple formal method, the Verdi/Ada formal method, for specifying Verdi and Ada processes communicating in a process network. This work is part of an overall project for the development of an Ada/Verdi run-time environment.
Keywords
FORMAL METHOD;PROCESS NETWORK;SYSTEM TRACES
Date of publication
06 Aug 1993
Number of Pages
57
DSTKIM No
94-00164
CANDIS No
135995
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: