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 et vidéo-proj réservés).

Annonce : http://www.agendadulibre.org/showevent.php?id=5566

Transparents : http://www.linux-france.org/~dmentre/gulliver/presentations/expose-frama-c-2011-01-31/

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