• PERCEE National cooperation project (french ministry of research), ACI Securite Informatique. Symbolic Techniques for the Automatic Verification of Heterogeneous Critical Systems
  
  
• DYNAMO National cooperation project (french ministry of research), ACI Securite Informatique. Verification of Dynamic Embedded Systems
  
  
• AMAES National ANR project ARA-SSIA. Advanced Methods for Autonomous Embedded Systems
  
  
• AVERILES Project of the national network on software technologies RNTL (ministry of research and ministry of industry). Analysis and Verification of Systems with Dynamic Memory Structures
  
  
• AVERISS National ANR project SETI. Automated Verification of Software Systems