From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: What is SPARK about?
Date: Sun, 13 Jun 2010 07:37:04 +0200
Date: 2010-06-13T07:37:04+02:00 [thread overview]
Message-ID: <hv1qq6$g1u$1@news.eternal-september.org> (raw)
In-Reply-To: <b9700a96-84d1-4c4b-8e3a-70ae62e2cda7@a39g2000prb.googlegroups.com>
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) ?
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2010-06-13 5:37 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 [this message]
2010-06-13 8:11 ` Simon Wright
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