--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on November 2008 ---
> FWIW, the ACSL tutorial (http://frama-c.cea.fr/acsl-tutorial.html) is > now updated with axiomatic definitions for its predicates and logic > functions. > just to correct the typo: http://frama-c.cea.fr/acsl_tutorial_index.html -- Yannick -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081103/28df94e1/attachment.htm