--- layout: fc_discuss_archives title: Message 47 from Frama-C-discuss on November 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C vs Ada/SPARK



Yannick/Pascal,

Thank you very much for the detailed information provided in this thread. It is much appreciated.

Cheers



--- On Mon, 11/16/09, Yannick Moy <yannick.moy at gmail.com> wrote:

> From: Yannick Moy <yannick.moy at gmail.com>
> Subject: Re: [Frama-c-discuss] Frama-C vs Ada/SPARK
> To: "Frama-C public discussion" <frama-c-discuss at lists.gforge.inria.fr>
> Received: Monday, November 16, 2009, 3:13 PM
> 
> 
> Will the results be Open
> Source / Free Software?
> 
> 
> Yes, as all the developments that we are participating in
> at AdaCore. This will be integrated with the tools that we
> already develop as FLOSS.
> ?
> 
> > In this same project, we will be working with people
> from Frama-C to verify
> 
> > mixed Ada/C programs.
> 
> 
> 
> I would be interested to know about such results. Are
> the used
> 
> programs real ones or build examples? If they are real
> ones, from
> 
> which domain (avionics, railway, ...)?
> 
> EADS Astrium and Thales Communications are our partners in
> this project, which they intend to apply to their domain,
> aerospace. But I cannot tell now (years before the end of
> the project!) what they will be willing to disclose.
> 
> -- 
> Yannick
> 
> 
> -----Inline Attachment Follows-----
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss


      __________________________________________________________________
Be smarter than spam. See how smart SpamGuard is at giving junk email the boot with the All-new Yahoo! Mail.  Click on Options in Mail and switch to New Mail today or register for free at http://mail.yahoo.ca