--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on January 2013 ---
Hello Jens, Thank you for your answer. Could you, please, explain more the differences between jessie and WP? Best regards, Intissar ________________________________ De?: "Gerlach, Jens" <jens.gerlach at fokus.fraunhofer.de> ??: "<frama-c-discuss at lists.gforge.inria.fr>" <frama-c-discuss at lists.gforge.inria.fr> Envoy? le : Jeudi 3 janvier 2013 10h09 Objet?: Re: [Frama-c-discuss] Frama-c-discuss Digest, Vol 56, Issue 2 Hello Intissar, Jessie or WP make most sense on "small" functions (like those in "ACSL by Example"). By the way, as far as I know, Jessie is not actively maintained anymore. You should consider switching to WP. Jens > Message: 2 > Date: Thu, 3 Jan 2013 08:55:18 +0000 (GMT) > From: intissar mzalouat <intissar_mzalouat at yahoo.fr> > To: "boris at yakobowski.org" <boris at yakobowski.org>,??? "prubel at bbn.com" > ??? <prubel at bbn.com>,??? Frama-C public discussion > ??? <frama-c-discuss at lists.gforge.inria.fr>,??? Frama-C public discussion > ??? <frama-c-discuss at lists.gforge.inria.fr> > Subject: [Frama-c-discuss] long and complex program > Message-ID: > ??? <1357203318.25251.YahooMailNeo at web133006.mail.ir2.yahoo.com> > Content-Type: text/plain; charset="iso-8859-1" > > Hello, > > I have just started a new project to verify a C code using Frama C. I am facing so much problems. > Is it a good idea to verify a long and so complex C code using Frama C (jessie plug in)? > Could you answer me, please? > Could you share your experience? _______________________________________________ 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130103/45259790/attachment.html>