Authors

The Frama-C platform is the creation of Patrick Baudin ; François Bobot ; Richard Bonichon ; Loïc Correnson ; 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 and 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)

Contact

If you think Frama-C could be part of any kind of scientific collaboration, including research projects, internships, PhDs, post-doctoral positions and dissemination activities, please contact:

Florent.Kirchnera_d_ligaturecea.fr   Loic.Corrensona_d_ligaturecea.fr

Credits

Frama-C is supported by several collaborative projects :