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

[Frama-c-discuss] ACSL x Z notation



Do you think ACSL is more expressive than Z notation?

I saw in ACSL documentation that it supports specification of inductive types, recursion and logic side predicates (prover side?), and, as far as I know, Z doesn't.

Att.
Peter Braumm




      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110206/9bdfe872/attachment.htm>