frama-c-en

Startups • June 5, 2025

[Startup] Trustinsoft, quality and security for C & C++ software

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.

Read more
Software development environments • March 17, 2022

Frama-C

Guaranteeing program safety and security with an open-source formal analysis environment for code written in C.

Read more