--- layout: fc_discuss_archives title: Message 58 from Frama-C-discuss on March 2011 ---
Dear Frama-C users, I'm looking for references to successful experiments combining slicing and then proof, using jessie for example. I've been also told of such successful experiments combining slicing and then the fluctuat tool, done by Airbus and/or Dassault Aviation. Are there any public reference reporting on such experiments? Thanks in advance for your enlightenments, - claude -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |