frama-c

Salon • novembre 27, 2023

Open Source Experience

Le CEA-List présentera 4 briques technologiques, Pixano, Papyrus, Frama-C et AIdge lors de l’Open Source Experience les 6 et 7 décembre au Palais des Congrès. Rendez-vous sur  l’emplacement L54 !

Lire la suite
Environnements de développement logiciel • mars 16, 2022

Frama-C

Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.

Lire la suite