Projets connexes
De CeProMi.
Sommaire |
Actions INRIA
- ADT Alt-Ergo
Projets ANR
- U3CAT (2009-2012) Unification of Critical C Code Analysis Techniques
- Proval/INRIA Saclay, Gallium/INRIA Rocquencourt, Lande/INRIA Rennes, CEA Saclay, CNAM, Airbus France, Dassault Aviation, ATOS Origin, Sagem
- Développement de l'environnement Frama-C
- DECERT (2009-2012) Deduction and Certification
- Lande/INRIA Rennes, Marelle/INRIA Sophia Antipolis, Mosel+Cassis/INRIA Lorraine, Proval/INRIA Saclay, CEA Saclay, Systerel
Projets Européens
- Action COST Formal Verification of Object-Oriented Software (2008-2011)
- 11 pays européens participants, Claude Marché représentant pour la France.
- Les thèmes de CeProMi sont liés au Working Group 2 ``Modularisation and Components
- Ce projet propose lui aussi une base d'exemples
Projet Digiteo / Region Ile-de-France
- Hisseo Verification of Floating-Point Programs (2009-2010)
- Proval/INRIA Saclay, CEA Saclay
Developpement logiciel
- Frama-C (avec CEA Saclay)
- Why
- Alt-Ergo
