Comme l'année dernière, j'ai fait une présentation à des étudiants ESIR 2 (école d'ingénieur de la Fac de Rennes 1) de l'analyse statique avec l'outil Frama-C et son analyse de valeur. Les sources (format propriétaire, licence Art Libre) et le PDF des transparents sont disponibles, ainsi que les exemples.