--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on April 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Verification of axiomatization



Hello,

Le mar 07 avr 2009 09:07:10 CEST,
Claude March? <Claude.Marche at inria.fr> a ?crit :

> Another, probably quicker, possibility is first to try to prove
> 
> //@ lemma l : 0=0;
> 

Shouldn't that be 0!=0 (or 0 == 1)? 0 == 0 is quite easy to prove.

Best regards,
-- 
Virgile Prevosto
Ing?nieur-Chercheur, CEA, LIST
Laboratoire de S?ret? des Logiciels
+33/0 1 69 08 71 83