--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on January 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie



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.