---
layout: fc_discuss_archives
title: Message 1 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
- Subject: [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
- From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
- Date: Tue, 1 Feb 2011 00:38:02 +0100
- In-reply-to: <AANLkTi=OSq-Pbw8qwyLy-EoDfY0dOPa2ucV+6RRXtrVQ@mail.gmail.com>
- References: <AANLkTi=OSq-Pbw8qwyLy-EoDfY0dOPa2ucV+6RRXtrVQ@mail.gmail.com>
Hello David,
Thanks a lot for making your slides available: they provide a nice and precise overview of two plugins of Frama-C.
What kind of remarks/questions did you get?
Cheers,
Benjamin Monate
CEA LIST
Head of Software Safety Laboratory