--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on April 2009 ---
Hi there, Is there a method to verify an axiomatization in an annotated C file ? Indeed, I wrote a C file, which is automatically proved by jessie, however proofs are done to fast and it is shady. Thx to all, Nicolas. -------------- section suivante -------------- Une pi?ce jointe non texte a ?t? nettoy?e... Nom: nicolas_stouls.vcf Type: text/x-vcard Taille: 445 octets Desc: non disponible Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090406/6a60a64c/attachment.vcf