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