--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on June 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Introducing Frama-C



Hello,

2008/5/26 Virgile Prevosto <virgile.prevosto@cea.fr>:
> The Frama-C development team is proud to announce the availability
> of Frama-C,

I have propagated the announcement to LWN.net and David A. Wheeler[1].
I have also added the tool on the following page:
  http://gulliver.eu.org/wiki/FreeSoftwareForFormalVerification

Sincerely yours,
d.

[1] Mainly because of his paper on High Assurance Software.