--- layout: default title: Authors - Frama-C ---

{% include headers.html %}

Authors

The Frama-C platform is the creation of:

The Frama-C platform is co-developed at two French public institutions:

CEA LIST Software Security Laboratory

Inria Saclay - Île-de-France Toccata team, common with LRI-CNRS and Université Paris-Sud 11

Authors

Authors

{% include footer.html %}