--- layout: fc_discuss_archives title: Message 6 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



I've seen in a frama-c tutorial that simplify, even being discontinued, is
the most powerfull prover to deal with frama-c. I've downloaded the latest
version from http://kindsoftware.com/products/opensource/archives/ but it
seems that why3 doesn't recognize it as the newer version:
Found prover Simplify version 1.5.4 (old version, please consider
upgrading).

2015-05-01 4:35 GMT-03:00 Claude Marche <Claude.Marche at inria.fr>:

>
>
> On 04/25/2015 08:14 PM, Allberson Dantas wrote:
> > But every time I want to prove something using it, the vc's proof reach
> > timeout.
> >
> > How to solve it?
>
> Do not use Simplify anymore ?
>
> - Claude
>
> --
> Claude March?                          | tel: +33 1 69 15 66 08
> INRIA Saclay - ?le-de-France           |
> Universit? Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
> F-91405 ORSAY Cedex                    |
> _______________________________________________
> 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
>



-- 
Allberson Dantas

[Doutorando em Ci?ncia da Computa??o - UFC]
[Analista de Sistemas do Serpro - Servi?o Federal de Processamento de Dados]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150501/9e7c6c97/attachment.html>