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_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,193117a6843a81b2
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!feeder.erje.net!newsfeed01.sul.t-online.de!newsfeed00.sul.t-online.de!t-online.de!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail
From: Simon Wright <simon.j.wright@mac.com>
Newsgroups: comp.lang.ada
Subject: Re: SPARK User Group 2008
Date: Mon, 26 May 2008 11:06:13 +0100
Organization: Pushface
Message-ID: <m2iqx1z8fe.fsf@mac.com>
References: <9f80aed6-6509-4faf-931b-e05dc2b314d9@59g2000hsb.googlegroups.com>
 <OMj_j.293861$pM4.198754@pd7urf1no>
NNTP-Posting-Host: pogner.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: news.demon.co.uk 1211796373 27961 62.49.19.209 (26 May 2008 10:06:13
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Mon, 26 May 2008 10:06:13 +0000 (UTC)
Cancel-Lock: sha1:X39/B4oSJiXBW/6mJ7sMbJW7t10=
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (darwin)
Xref: g2news1.google.com comp.lang.ada:368
Date: 2008-05-26T11:06:13+01:00
List-Id: <comp.lang.ada>

"Michael" <Michael@home.ca> writes:

> Apparently it wasn't one of the "Correctness by Construction"
> capabilities.  Therefore Praxis's iFACTS verifications never noticed
> any defects, but the NATS's iFACTS validation.
> (i.e.: The 7 of March 2007, NATS news released proudly announced the
> iFACTS final trials.  Since, NATS never announced that iFACTS gets
> commissioned - find the errors! - anomalies I meant).

But see http://www.airflights.co.uk/news/default.aspx?category=438006664&story=18081798&archive=-&AspxAutoDetectCookieSupport=1