--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on November 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Need your help



Hello allo,

I am a new user of Frama-C.
I am going to verify a c code containing many functions.
Do I have to split the code and verify each function seperately?
Or verify the whole code?
Can you help me, please?
Do anyone did something similar? I really need your help!!!

Best regards,
Intissar
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20121130/ff062f6d/attachment.html>