--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on February 2011 ---
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