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 - ILe - De - France Toccata team, common with LRI-CNRS and Université Paris-Sud 11