--- layout: fc_discuss_archives title: Message 110 from Frama-C-discuss on October 2008 ---
Hello and thank you for your help, Today I'd like to know how to deal with axioms and predicates. All the given examples are too vague (for me) and I do not understand how to express something (e.g. the occurrence count). I hope you will shed some light on this. Christoph -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081024/38a30ce1/attachment.htm