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



Hi David,

Do you have any plans to produce an English version of these slides?

thanks,
naghmeh


On 01/02/11 4:51 AM, David MENTRE wrote:
> Hello Boris,
>
>>> One of the attendee followed a lesson on code proof using a functional
>>> approach and PVS powerful tactics made by a researcher at INRIA Rennes
>>> (Thomas Genet) and told the approach was more powerful and simple. I
>>> answered that the discussion between the two approaches is still
>>> on-going. :-)
>> Do you know more about this approach?
> The slides and PVS scripts for this course are available at following
> URL, unfortunately in French:
>    http://www.irisa.fr/celtique/genet/VVF/
>
> Sincerely yours,
> david
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss