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.
Boron version
Frama-C Boron [Changes]
- 20100401 Source distribution including Why-2.24 and Jessie [Compilation instructions]
- 20100401 Source distribution without Jessie [Compilation instructions]
- 20100401 Windows binary installer (includes Jessie, Why 2.26, Alt-Ergo 0.91 and an OCaml 3.11.2/LablGtk development environment) [Installation instructions]
- 20100401 Mac OS X Intel binary package (includes Jessie, Why 2.26, Alt-Ergo 0.91 and an OCaml 3.11.2/LablGtk development environment) [Installation instructions]
- 20100401 User manual
- 20100401 Value Analysis manual
- 20100401 Jessie tutorial
- 20100401 ACSL 1.4 (Boron implementation)
- 20100401 API Documentation
- 20100401 Plug-In development guide