Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Introductory slides on Frama-C

Hello Julien,

Le 04/09/2013 16:57, Julien Signoles a ?crit :
> It could be put somewhere on the Frama-C wiki: on the tutorial page?
> (http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:tutorial)

Good suggestion. I was able to create following page but I was unable to 
upload the files : the media manager lacks an upload button (access 
right issue for me?).

 
http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:tutorial:merce_2013

Best regards,
david
-- 
David MENTR? - Research engineer, Ph.D.
   Formal Methods and tools
MITSUBISHI ELECTRIC R&D Centre Europe (MERCE)
Phone: +33 2 23 45 58 29 / Fax: +33 2 23 45 58 59
http://www.fr.mitsubishielectric-rce.eu