--- layout: fc_discuss_archives title: Message 110 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] predicates and axioms



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