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. Commercial licenses are also available.
Latest version
Frama-C Fluorine 2 [Changes]
- 20130501 Source distribution [Compilation instructions]
- 20130501 User manual
- 20130501 Plug-In development guide
- 20130501 API Documentation
- 20130501 ACSL 1.7 (Fluorine implementation)
Plug-in Manuals
- 20130501 Aoraï manual
- 20130501 Metrics manual
- 20130501 Rte manual
- 20130501 Value Analysis manual
- 20130501 WP 0.7 manual
Frama-C Fluorine [Changes]
- 20130401 Source distribution [Compilation instructions]
- 20130401 User manual
- 20130401 Plug-In development guide
- 20130401 API Documentation
- 20130401 ACSL 1.7 (Fluorine implementation)
- 20130401 Aoraï manual
- 20130401 Metrics manual
- 20130401 Rte manual
- 20130401 Value Analysis manual
- 20130401 WP 0.7 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
- Oxygen version
- Nitrogen version
- Carbon version
- Boron version
- Beryllium version
- Lithium version
- Helium version
- Hydrogen version
* 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.