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 :
- 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). - €-Confidential.
This is an EUREKA/ITEA European Research Programme. - Hisseo.
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).
