--- layout: fc_discuss_archives title: Message 10 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



> 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