--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on June 2008 ---
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 |