Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!linus!philabs!cmcl2!seismo!lll-crg!lll-lcc!ucdavis!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: Sun, 20-Apr-86 12:14:53 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet Lines: 13 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 -----------------------------