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
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b3624033a91faa10,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1993-03-11 08:56:31 PST
Newsgroups: comp.lang.ada
Path: 
 sparky!uunet!gatech!howland.reston.ans.net!zaphod.mps.ohio-state.edu!uwm.edu!linac!uchinews!att-out!cbnewsl!willett
From: willett@cbnewsl.cb.att.com (david.c.willett)
Subject: Ada Compiler Validation
Organization: AT&T Bell Laboratories
Date: Thu, 11 Mar 1993 16:22:25 GMT
Message-ID: <1993Mar11.162225.20098@cbnewsl.cb.att.com>
Date: 1993-03-11T16:22:25+00:00
List-Id: <comp.lang.ada>


A collegue and I were spectulating how the validation process works and why it costs so
much. Would someone care to post a description of the process with Rough Order of Magnitude
cost figures?

Thanks.

-- 
Dave Willett          AT&T Federal Systems Advanced Technologies
A Theoretical Physicist is one whose existence is postulated to make
the numbers balance, but is never observed in the laboratory.