C'est au Collège de France qu'est apparu le tutoriel d'introduction à Frama-C, pas plus tard qu'hier ! Merci beaucoup à Ksass`Peuk pour son excellent contenu, et Loïc Correnson pour l'avoir présenté en direct.

Retrouvez le tutoriel : https://zestedesavoir.com/tutoriels/885/introduction-a-la-preuve-de-programmes-c-avec-frama-c-et-son-greffon-wp/
Et la conférence du Collège de France : https://www.college-de-france.fr/site/xavier-leroy/seminar-2021-03-11-11h15.htm