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=1.9 required=5.0 tests=BAYES_50,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!info-ada
From: Bakin@MIT-MULTICS.ARPA
Newsgroups: net.lang.ada
Subject: Re: Ada Validation Information
Message-ID: <851116005454.906797@MIT-MULTICS.ARPA>
Date: Fri, 15-Nov-85 19:54:00 EST
Article-I.D.: MIT-MULT.851116005454.906797
Posted: Fri Nov 15 19:54:00 1985
Date-Received: Sat, 16-Nov-85 20:53:17 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

The following information is from information I've received from the Ada
Information Clearinghouse (Ada-Information -at usc-eclb, or via US Mail
ADA IC 3D139 (Fern St., C-107) The Pentagon Washington DC 20301-3081 or
via AT&T 703-685-1477:

First, to get a copy of an ACVC test suite send a cover letter
specifying version number desired (currently 1.6 or 1.7), two reels of
blank (NEW) 2400' mag tape specifying whether you need VAX compatible or
Standard Release Tape, to Ada Validation Facility ASD/ADOL ATTN:  Mrs.
Tina Underwood Wright-Patterson AFB, OH 45433.

Second, to get more information on validation in general
write/phone/mail the Ada informatoin clearinghous and ask for their
stuff on validation/ and compilers.

Third, does anyone know how to get copies of Validation reports?  I
believe they are published by the validation facilities but I don't have
a central address to write to?

-- Dave