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.

Support and Documentation

Lithium version

Beryllium version Latest version Helium version

Frama-C Lithium [Changes]
Frama-C Lithium (beta-1) [Changes]