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

Latest version

Frama-C Boron  [Changes]

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.