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.2 required=5.0 tests=BAYES_05,INVALID_DATE,
	INVALID_MSGID 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!usc-isif.arpa!DLEHMAN
From: DLEHMAN@USC-ISIF.ARPA
Newsgroups: net.lang.ada
Subject: UK acVc--NO!
Message-ID: <[USC-ISIF.ARPA]27-Mar-86.09:32:55.DLEHMAN>
Date: Thu, 27-Mar-86 12:32:00 EST
Article-I.D.: <[USC-ISIF.ARPA]27-Mar-86.09:32:55.DLEHMAN>
Posted: Thu Mar 27 12:32:00 1986
Date-Received: Sat, 29-Mar-86 01:41:40 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>


In reply to Jerry MUNGLE's message (86-03-24), I would like to clarify
what the UK MoD is and is not doing:

   The UK MoD will not produce their own acVc.

   The UK MoD is developing an acEVALUATIONc.

   There is an Ada Validation Facility (AVF) in the UK--National Computing
     Center, Ltd.--currently involved with validations.

---Dan LEHMAN, IDA
-----------------------------