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.
Frama-C Beryllium [Changes]
- 20090901 Source distribution [Compilation instructions]
- 20090901 Windows binary installer [Installation instructions]
- 20090901 Value Analysis guide
- 20090901 ACSL 1.4 (Beryllium implementation)
- 20090901 API Documentation
- 20090901 Plug-In development guide
Frama-C Beryllium (beta-1) [Changes]
- 20090601 beta-1 Source distribution [Compilation instructions]
- 20090601 beta-1 Plug-In development guide
- 20090601 beta-1 ACSL 1.4 (Beryllium implementation)
Frama-C Lithium [Changes]
- 20081201 ACSL 1.4 (Lithium implementation)
- 20081201 Source distribution [Compilation instructions]
- 20081201 Windows binary installer [Installation instructions]
- 20081201 Mac OS X 10.5 (Leopard) Intel [Installation instructions]
- 20081201 Mac OS X 10.5 (Leopard) PowerPC (idem)
Frama-C Lithium (beta-1)
- 20081002 Source distribution (beta-1)
- 20081002 Windows binary installer (beta-1)
Frama-C Helium
- 20080701Source distribution [Compilation instructions]
- 20080701 Windows binary installer
- 20080701 ACSL 1.3 (Helium implementation)
Frama-C Hydrogen
- 20080502 Source distribution [Compilation instructions]
- 20080502 Windows binary installer
- 20080502 ACSL 1.2 (Hydrogen implementation)
- 20080501 Source distribution (beta-2)
- 20080301 Source distribution (beta-1)
* 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.