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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	LOTS_OF_MONEY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,42427d0d1bf647b1
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Ada Core Technologies and Ada95 Standards
Date: 1996/04/12
Message-ID: <dewar.829345631@schonberg>#1/1
X-Deja-AN: 147243993
references: <00001a73+00002c20@msn.com> <3160EFBF.BF9@lfwc.lockheed.com>
 <dewar.829186739@schonberg> <dewar.829192619@schonberg>
 <4kllaf$ott@ns1.sw-eng.falls-church.va.us>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-04-12T00:00:00+00:00
List-Id: <comp.lang.ada>

Phil Brashear said

"Robert Dewar says that witness testing for Ada validation costs on the
order of $20,000.  That probably depends on the AVF doing the testing.
I think you might find that some AVFs can do testing of a single
implementation with no complications for $12,000 or less.  As in many
areas, it pays to shop around."

Of course that depends on travel costs too, but sure, it does pay to
shop around, and indeed the price is less than $20K rather than more,
but I was just giving a rough estimate, if you like use $10-20K to
get an idea of the range (the cost actually can be far less if you do
a bunch of targets at the same time).