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