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.
Frama-C v7.x - Nitrogen
Frama-C v7.0 Nitrogen [Changes]
- 20111001 Source distribution [Compilation instructions]
- 20111001 Binary package for Mac OS X Intel [Readme]
- 20111001 Binary package for Mac OS X PowerPC [Readme]
- 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.
- 20111001 Aoraï manual
- 20111001 Metrics manual
- 20111001 Rte manual
- 20111001 Value Analysis manual
- 20111001 WP 0.4 manual