From: Simon Wright <simon.j.wright@mac.com>
Subject: Re: SPARK User Group 2008
Date: Mon, 26 May 2008 11:06:13 +0100
Date: 2008-05-26T11:06:13+01:00 [thread overview]
Message-ID: <m2iqx1z8fe.fsf@mac.com> (raw)
In-Reply-To: OMj_j.293861$pM4.198754@pd7urf1no
"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
next prev parent reply other threads:[~2008-05-26 10:06 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-04-28 16:02 SPARK User Group 2008 roderick.chapman
2008-05-12 10:29 ` Michael
2008-05-13 7:47 ` Simon Wright
2008-05-16 6:57 ` Michael
2008-05-16 8:21 ` stefan-lucks
2008-05-16 21:41 ` Simon Wright
2008-05-25 20:14 ` Michael
2008-05-26 10:06 ` Simon Wright [this message]
2008-05-27 18:43 ` Michael
2008-05-27 19:23 ` Simon Wright
2008-05-27 20:07 ` Jeffrey R. Carter
2008-05-27 21:57 ` Ed Falis
2008-05-28 9:51 ` iFACTS (was: SPARK User Group 2008) Stuart
2008-06-01 20:47 ` SPARK User Group 2008 Michael
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox