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!news-server.csri.toronto.edu!rpi!usc!samsung!think.com!linus!linus!mitre.org!ljr
From: ljr@mitre.org (Luke J. Rheaume)
Newsgroups: comp.lang.ada
Subject: Re: Help with Ada proof needed.
Message-ID: <1991Mar29.120624.23454@linus.mitre.org>
Date: 29 Mar 91 12:06:24 GMT
References: <1991Mar29.002035.1@watt.ccs.tuns.ca>
Sender: news@linus.mitre.org (News Service)
Organization: The MITRE Corporation
Nntp-Posting-Host: rheaume-luke.mitre.org
List-Id: <comp.lang.ada>

>The fact that we are using an Ada compiler certifies the compiler operates
>according to the Ada standard, and further proof on our part is not 
>necessary.

The fact that you are useing an "Ada" compiler does not necessarily mean 
that it is a "Validated" "Ada" compiler.  The only way to know for sure is 
to get the validation number and the test version against which the 
compiler was validated.  DoD had to change there rules on the use of the 
"Ada" as a trademarked name because of a law suit....It use to be that you 
couldn't call it Ada unless you were validated, but that has changed.

Luke J. Rheaume
ljr@mitre.org