From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!bbn!ishmael!inmet!ryer
From: ryer@inmet
Newsgroups: comp.lang.ada
Subject: Re: Ada analyzing tools
Message-ID: <20600005@inmet>
Date: 1 Sep 89 13:26:00 GMT
References: <26785@shemp.CS.UCLA.EDU>
Nf-ID: #R:shemp.CS.UCLA.EDU:-2678500:inmet:20600005:000:678
Nf-From: inmet!ryer    Sep  1 09:26:00 1989
List-Id: <comp.lang.ada>


The Intermetrics Ada compiler hosted on Amdahl's System V Unix on
370-compatible machines produces DIANA.  General Research Corporation
has built the "Ada Test and Verification System" (ATVS) under contract
to RADC.  These tools include basic static verification, and use the
DIANA generated by an Intermetrics compiler as input.  However, the
ATVS runs on VAX/VMS and used the VAX-hosted version of the compiler.
The DIANA generated by Intermetrics on the VAX and 370 hosts is
identical (at the source level), so GRC's tools *could* be rehosted
to 370 Unix, or the whole Ada FE + ATVS combination could be rehosted
to any other Unix.

Hope that helps.

Mike Ryer
Intermetrics