--- layout: fc_discuss_archives title: Message 45 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



> 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