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
