--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on January 2011 ---
Hello, I've just made a presentation in French to present Frama-C for Value analysis and Jessie. This is a quite basic introduction to Frama-C, so readers from this list won't learn anything. Anyway, the presentation is available. :-) http://www.linux-france.org/~dmentre/gulliver/presentations/expose-frama-c-2011-01-31/ Sincerely yours, david PS : Compared to previous presentation, I have tried to improve the presentation of value analysis regarding loops.