--- layout: fc_discuss_archives title: Message 8 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 Pariente,

what are the properties you analyze? Do you also use Value Analysis or
WP for functional verification?

How many people use these tools at Dassault and what education do they
have?

-- 
Best regards,
Boris Hollas