Using the Frama-C source code analyzer developed by CEA and Inria, TrustInSoft has developed a full suite of C & C++ software analysis tools and services.
Le CEA est un acteur majeur de la recherche, au service de l'État, de l'économie et des
citoyens. Il apporte des solutions concrètes à leurs besoins dans quatre domaines
principaux : transition énergétique, transition numérique, technologies pour la médecine
du futur, défense et sécurité.