---
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
- Subject: [Frama-c-discuss] Simplify prover instalation problem
- From: dmentre at linux-france.org (David MENTRÉ)
- Date: Sat, 02 May 2015 17:28:16 +0200
- In-reply-to: <CADH2bc8=hgo5UfmCAqGbsYgKxNzbca3NbmKnSjUJnWd0gB5eng@mail.gmail.com>
- References: <CADH2bc8Y2PcO7YE3grJ+Bi6GegRzD4myePYj_-8uqOr5avFY-g@mail.gmail.com> <55432CB0.2080907@inria.fr> <CADH2bc8=hgo5UfmCAqGbsYgKxNzbca3NbmKnSjUJnWd0gB5eng@mail.gmail.com>
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