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 démonstration sera faite le lundi 31 janvier, à 20h, à la MCE.

 
presentation_framac.1295020457.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ó