--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on February 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 David,
Thanks a lot for making your slides available: they provide a nice and precise overview of two plugins of Frama-C. 
What kind of remarks/questions did you get?
Cheers,
Benjamin Monate
CEA LIST
Head of Software Safety Laboratory