[Frama-c-discuss] Introducing Frama-C

[David MENTRE]

Hello,

2008/5/26 Virgile Prevosto <virgile.prevosto at 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.