[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

Best regards,
Boris Hollas

More information about the Frama-c-discuss mailing list