|23 May 2013||Bug-fixed release Fluorine 20130501 is available.|
|17 Apr. 2013||Release Fluorine 20130401 is available.|
|19 Dec. 2012||The reference paper Frama-C, A Software Analysis Perspective has been accepted to SEFM'12.|
|19 Dec. 2012||The article Combining Analyses for C Program Verification has been accepted to FMICS'12.|
|What is Frama-C||
|Getting Frama-C||Frama-C is Open Source software.
It works on Windows and Unix (Linux, Mac OS X,…)
Get it now…
|Community||A public mailing list and a bug tracking
system are provided to both academic and industrial users.
Working with Frama-C
|Features||The Frama-C analyzers assist you in
various source-code-related activities, from the navigation through
unfamiliar projects up to the certification of critical
Take the tour…
|Architecture||Frama-C is an extensible framework. You can easily build upon the existing plug-ins to implement your own analysis. Plug-in factory…|