Authors
The Frama-C platform is the creation of:
The Frama-C platform is co-developed at two French public institutions:

CEA LIST Software Safety and Security Laboratory

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