--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on November 2009 ---
Hi all I am working with Frama C to verify some programs. But I have a question. Does Frama C suppose using function that are in library to verify program especially for float-return function? For example, in my program I have to call cos or sin function, how can I verify this program? Thank you Nam -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091114/ac6ef0a9/attachment.htm