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

[Frama-c-discuss] Binary search now works with Alt-Ergo 0.92



Hi,

Alt-Ergo 0.92 is available on http://alt-ergo.lri.fr/. Now, the binary
search example with the faulty mid value computation
    mid = (high + low) / 2;
doesn't pass verification anymore. this is good news because I plan to
give a talk on formal verification and the former Java implementation of
binary search.
-- 
Regards,
Boris