-
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