Download center
The licensing terms for Frama-C, the GNU LGPL v2, allow it to be used by all developers, including those developing proprietary software, without any license fees or royalties.
Latest version
Frama-C Boron [Changes]
- 20100401 Source distribution including Why-2.24 and Jessie [Compilation instructions]
- 20100401 Source distribution without Jessie [Compilation instructions]
- 20100401 Windows binary installer (includes Jessie, Why 2.26, Alt-Ergo 0.91 and an OCaml 3.11.2/LablGtk development environment) [Installation instructions]
- 20100401 Mac OS X Intel binary package (includes Jessie, Why 2.26, Alt-Ergo 0.91 and an OCaml 3.11.2/LablGtk development environment) [Installation instructions]
- 20100401 User manual
- 20100401 ACSL 1.4 (Boron implementation)
- 20100401 API Documentation
- 20100401 Plug-In development guide
- 20100401 Value Analysis manual
- Some Linux distributions provide packages for Frama-C*. However, this may not give you access to the latest version of Frama-C.
Previous versions
All versions older than Frama-C Beryllium include Why and the plug-in Jessie.
* The Frama-C team is very grateful to Mehdi Dogguy for making one of the first Linux packages of Frama-C (for Debian Squeeze) and for helping solve several related bugs.