--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on May 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Simplify prover instalation problem



Hello,

Le 2015-05-01 20:38, Allberson Dantas a ?crit :
> I've seen in a frama-c tutorial that simplify, even being discontinued,
> is the most powerfull prover to deal with frama-c.

I doubt there is such thing as "the most powerfull prover". Provers are 
good for one thing and bad for others. Nowadays, CVC4, Z3 or Alt-Ergo 
have pretty good reputations.

You'd rather go for supported one.

Best regards,
david