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



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