--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on June 2010 ---
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