From: Simon Wright <simon@pushface.org>
Subject: Re: What is SPARK about?
Date: Sun, 13 Jun 2010 09:11:54 +0100
Date: 2010-06-13T09:11:54+01:00 [thread overview]
Message-ID: <m2k4q3xsfp.fsf@pushface.org> (raw)
In-Reply-To: hv1qq6$g1u$1@news.eternal-september.org
"J-P. Rosen" <rosen@adalog.fr> writes:
> Claude a écrit :
>> Feb 2010, the ERCIM Working Group on Formal Methods for Industrial
>> Critical Systems stated: “There is a lack of precedents where formal
>> methods have been proven to be effective.”
>> http://www.inrialpes.fr/vasy/fmics/
>>
>> Did the ECRIM overlook iFACTS?
>>
> More surprisingly, did they overlook Meteor (100% automated line 14 of
> the Parisian subway, in B+Ada) ?
This is very relevant -- took a little googling (meteor paris metro ada
formal b):
http://rodin.cs.ncl.ac.uk/Publications/fm_sc_rs_v2.pdf
next prev parent reply other threads:[~2010-06-13 8:11 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-11 20:32 What is SPARK about? Claude
2010-06-11 23:01 ` Simon Wright
2010-06-11 23:17 ` Yannick Duchêne (Hibou57)
2010-06-12 12:16 ` Peter C. Chapin
2010-06-12 8:30 ` Phil Thornley
2010-06-12 18:09 ` Claude
2010-06-12 19:27 ` Yannick Duchêne (Hibou57)
2010-06-17 5:38 ` Claude
2010-06-13 5:37 ` J-P. Rosen
2010-06-13 8:11 ` Simon Wright [this message]
2010-06-13 13:20 ` Robert A Duff
2010-06-17 2:10 ` Claude
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox