--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on January 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[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?