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
CEA–LIST (Software Reliability Laboratory)
INRIA-Saclay (ProVal team, common with LRI-CNRS and Université Paris-Sud 11)
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:
Frama-C is supported by several collaborative projects :
- OpenTC (Open Trusted Computing).
This project is cofinanced by the European Commission through the IST/FP6/IP programme.
- CAT (C analysis toolbox).
This RNTL research project is funded by the ANR (French National Research Agency).
This is an EUREKA/ITEA European Research Programme.
This is a Digiteo Research Action.
- U3CAT -
Unification of Critical C Code Analysis Techniques.
This ARPEGE 2008 research project is funded by the ANR (French National Research Agency).