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