Vincent Penelle

Ressources à consulter :

La documentation listée ici est celle adaptée à la version de Frama-C du Cremi (Silicon). Vous pouvez depuis le site de Frama-C consulter des versions plus récentes (ou anciennes).


Le plan du cours détaillé (partiellement ce qui a été dit)

Attention, ça reste informel, et pas forcément super beau : c’est ici !

Sujets et bases de codes d’exercices:


Examen Session 2



tom(); ?>