Frama-C

Pour avoir accès au liens internes, il faut être à l'INRIA, et avoir configuré Mozilla/Firefox pour qu'il autorise à ouvrir des fichiers locaux (cf. mes trucs)

CEA

Frama-C

Documents sur le slicing

Doc utiles

E-mail: Anne dot Pacalet at free dot fr

Valid XHTML 1.0 Strict Valid CSS! logo Vim