--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on January 2011 ---
Hello, For your information, I have made 1h30 presentation on Frama-C and the Value analysis plugin in a French compilation course. Slides and C examples are available and can be freely reused: http://www.linux-france.org/~dmentre/misc/2011-01-18-analyse-abstraite-frama-c/ Best regards, david