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

[Frama-c-discuss] Axiomatic Definitions



> 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