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 Nitrogen [Changes]
- 20111001 Source distribution [Compilation instructions]
- 20111001 User manual
- 20111001 Plug-In development guide
- 20111001 API Documentation
- 20111001 ACSL 1.5 (Nitrogen implementation)
- The source distribution includes version 0.4 of WP plug-in. A new version of this plug-in is now available.
External Plug-ins
- 20111001 WP version 0.5 [Compilation instructions][Changes]
- 20111001 E-ACSL version 0.1
Plug-in Manuals
- 20111001 Aoraï manual
- 20111001 Metrics manual
- 20111001 Rte manual
- 20111001 Value Analysis manual
- 20111001 WP 0.4 manual
External Plug-ins
- 20111001 E-ACSL version 0.1
- 20111001 Jessie manual
- 20111001 WP version 0.5 [Compilation instructions][Changes]
- 20111001 WP 0.5 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.