--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on October 2009 ---
Good morning all I am using Frama-C Beryllium, and I want to use jessie plug-in to verify some problems which I need to use float (or double) type number. I have tried to use Simplify and Yices prover but they are not power enough to prove the problems using float type number. Are there any ways to overcome this problem? Thank you D.T.Nam -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091017/082e513f/attachment.htm