Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] using library function in frama-C
- Subject: [Frama-c-discuss] using library function in frama-C
- From: doan.thanh.nam.1988 at gmail.com (nam nam)
- Date: Sat, 14 Nov 2009 22:55:01 +0700
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
- Follow-Ups:
- [Frama-c-discuss] RE : using library function in frama-C
- From: virgile.prevosto at cea.fr (PREVOSTO Virgile)
- [Frama-c-discuss] using library function in frama-C
- From: Claude.Marche at inria.fr (Claude Marche)
- [Frama-c-discuss] RE : using library function in frama-C
- Prev by Date: [Frama-c-discuss] Frama-C vs Ada/SPARK
- Next by Date: [Frama-c-discuss] RE : using library function in frama-C
- Previous by thread: [Frama-c-discuss] Documentation of \valid
- Next by thread: [Frama-c-discuss] RE : using library function in frama-C
- Index(es):