--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on July 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] how to interpret ACSL annotations?



Hi,

   It's powerful for analysis with ACSL annotations but I cannot find how to
interpret the ACSL annotations and in the development-guide only
a little information is given. So could you show me the way to deal with
ACSL annotations or show me a simple example?

Best Regards to You.

Henry Liu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110701/fb119a5c/attachment.htm>