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: hollas at informatik.htw-dresden.de (Boris Hollas)
Date: Tue, 01 Feb 2011 14:31:55 +0100
In-reply-to: <73D7E2890941B14ABF17FB1CEAF9D3051BD448@SCTEX015.st-cloud.dassault-avion.fr>
References: <AANLkTikQfC8Xz4x1CMP=XES-e7a=t-QB8WG1R5Xhex75@mail.gmail.com> <569C6D7D26484241A530B87F45ADE1F8778E50@AOFRWMBXRSC004.resources.atosorigin.local> <73D7E2890941B14ABF17FB1CEAF9D3051BD448@SCTEX015.st-cloud.dassault-avion.fr>

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

Follow-Ups:
- [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
  - From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)

References:
- [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
  - From: dmentre at linux-france.org (David MENTRE)
- [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
  - From: STEPHANE.DUPRAT at atosorigin.com (DUPRAT Stephane)
- [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
  - From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)

Prev by Date: [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
Next by Date: [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
Previous by thread: [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
Next by thread: [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
Index(es):
- Date
- Thread