--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on November 2008 ---
Le lun 03 nov 2008 16:36:43 CET, "Yannick Moy" <yannick.moy@gmail.com> a ?crit : > > > Is there a tutorial which would help to understand this problem? > > > > Nothing more than what I explained ... > > FWIW, the ACSL tutorial (http://frama-c.cea.fr/acsl-tutorial.html) is now updated with axiomatic definitions for its predicates and logic functions. -- E tutto per oggi, a la prossima volta. Virgile