--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on January 2013 ---
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?