--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on February 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