Un environnement de simulation de systèmes électroniques qui facilite le test de codes binaires de logiciels complexes.
Lire la suite
Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.
Lire la suite
Renforcer la sécurité des logiciels par l’analyse formelle de leur code exécutable.
Lire la suiteLire la suite
Lire la suite