Présentation du Framework 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/