Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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

  • Subject: [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
  • Date: Tue, 1 Feb 2011 15:49:57 +0100
  • In-reply-to: <1296567115.2525.8.camel@iti27>
  • References: <AANLkTikQfC8Xz4x1CMP=XES-e7a=t-QB8WG1R5Xhex75@mail.gmail.com><569C6D7D26484241A530B87F45ADE1F8778E50@AOFRWMBXRSC004.resources.atosorigin.local><73D7E2890941B14ABF17FB1CEAF9D3051BD448@SCTEX015.st-cloud.dassault-avion.fr> <1296567115.2525.8.camel@iti27>
> 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