trustinsoft

Le CEA-List • juin 5, 2025

[Startup] TrustInSoft, la qualité et la sécurité des logiciels en C et C++

À partir de l’analyseur de code source Frama-C, conçu par le CEA et Inria, TrustInSoft a développé des outils et des services d’analyse exhaustive de logiciels en C et C++.

Lire la suite