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 Prévosto ; Julien Signoles and Boris Yakobowski.

The Frama-C platform is co-developed at two French public institutions:
CEA–LIST (Software Reliability Laboratory)
INRIA-Saclay (ProVal 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:

Credits

Frama-C is supported by several collaborative projects :