--- layout: fc_discuss_archives title: Message 47 from Frama-C-discuss on November 2009 ---
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