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

Boris Hollas hollas at informatik.htw-dresden.de
Tue Feb 1 14:31:55 CET 2011


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




More information about the Frama-c-discuss mailing list