frama-c

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