--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on June 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Installing Boron



On Thu, 2010-06-10 at 20:56 +0200, Pascal Cuoq wrote:

> Regarding the integration of Alt-ergo in Frama-C
> (technically what would make sense is an integration
> in Why but this is not my point here), it has been
> discussed. I do not remember the outcome of the
> discussion but this page seems the most likely explanation:
> http://en.wikipedia.org/wiki/Somebody_Else's_Problem

It has been argued that there are several provers that can be plugged
into why. Alt-Ergo however is from my experience the most useful prover
for why/Jessie. 

-- 
Regards,
Boris