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



David MENTRE a ?crit :
> 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

Thanks a lot for the wider annoucements!


-- 
| Benjamin Monate         | mailto:benjamin.monate@cea.fr     |
| Ing?nieur-Chercheur     | CEA-LIST/DRT/DTSI/SOL/LSL         |
| B?t. 528 Pt. 115a       | 91191 Gif-sur-Yvette CEDEX        |
| T?l. 01 69 08 94 09     | Fax : 01 69 08 83 95              |