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
Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.
Lire la suiteLire la suite