--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on February 2011 ---
> Do you also use Value Analysis or WP for functional verification? Both. > How many people use these tools at Dassault Not relevant at this time. Frama-C is not deployed yet (currently under experiment in a R&T environment, with operational team support). > and what education do they have? The question of required skills is of course important! Indeed, I do think Frama-C should be used by developers ... as long as a strict methodology (at least tooled by a "verification project manager") delimits drastically what can be done, and what can not, with Frama-C. Best regards, Dillon