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

[Frama-c-discuss] French slides presenting Frama-C and Value analysis



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