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