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 Beryllium 2 [Changes]
- 20090902 Source distribution including Why-2.21 and Jessie [Compilation instructions]
- 20090902 Source distribution without Jessie [Compilation instructions]
- 20090902 Windows binary installer (does not include Why nor Jessie) [Installation instructions]
- 20090902 Mac OS X 10.5 or 10.6 Intel. This distribution includes Why 2.23 [Installation instructions]
- 20090902 Mac OS X 10.5 or 10.6 Intel. This distribution includes Why 2.21 [Installation instructions]
- 20090902 Mac OS X 10.5 (Leopard) PowerPC. Includes Why 2.21 [Installation instructions]
- 20090902 User manual
- 20090902 ACSL 1.4 (Beryllium implementation)
- 20090902 API Documentation
- 20090902 Plug-In development guide
- 20090902 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 2 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.