Authors The Frama-C platform is the creation of: François Bobot | Loïc Correnson | Richard Bonichon | Pascal Cuoq | Zaynah Dargaye | Jean-Christophe Filliâtre | Philippe Herrmann | Florent Kirchner | Matthieu Lemerre | Claude Marché | Benjamin Monate | Yannick Moy | Anne Pacalet | Virgile Prevosto | Julien Signoles | Boris Yakobowski 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