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: dmentre at linux-france.org (David MENTRE)
• Date: Tue, 1 Feb 2011 20:57:27 +0100
• In-reply-to: <4D485276.1010608@cslabs.com>
• References: <AANLkTi=OSq-Pbw8qwyLy-EoDfY0dOPa2ucV+6RRXtrVQ@mail.gmail.com> <75024FAF-DEA9-4F87-8B45-ADC3475A194E@cea.fr> <AANLkTikQfC8Xz4x1CMP=XES-e7a=t-QB8WG1R5Xhex75@mail.gmail.com> <1296557709.1660.53.camel@iti27> <AANLkTikF4_1K0iFnF8vG5Zwqc9mAGDMQyWfT49pwkR43@mail.gmail.com> <4D485276.1010608@cslabs.com>

---

Hello Naghmeh,

2011/2/1 Naghmeh Ghafari <naghmeh.ghafari at cslabs.com>:
> Do you have any plans to produce an English version of these slides?

Yes but probably not before beginning of March.

Best regards,
david

---

• References:
  • [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
    • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
  • [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: hollas at informatik.htw-dresden.de (Boris Hollas)
  • [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: naghmeh.ghafari at cslabs.com (Naghmeh Ghafari)

• 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