--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on November 2009 ---
> 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091116/2f3e8b2a/attachment.htm