--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on February 2011 ---
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>