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.
Lithium version
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) [Changes]
- 20081002 Source distribution (beta-1)
- 20081002 Windows binary installer (beta-1)