Ceci est une ancienne révision du document !


Présentation du Framework [[frama_-c|Frama-C]]


Frama-C (http://frama-c.com/) est un framework Libre d'analyse statique et de preuve sur du code C.

Une présentation et des démonstrations seront faites le lundi 31 janvier 2011, à 20h, à la MCE (salle réservée, oublié le vidéo-proj).

 
presentation_framac.1295021279.txt.gz · Dernière modification: Le 13/02/2012 à 21:08 (modification externe)     Haut de page
Recent changes RSS feed Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki Design by Chirripó