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] Frama-C Training Session 2009
- Subject: [Frama-c-discuss] Frama-C Training Session 2009
- From: loic.correnson at cea.fr (Loïc Correnson)
- Date: Fri, 13 Feb 2009 16:52:51 +0100
You are kindly invited to participate to the first Frama-C training session organized on: *Tuesday, March 31 2009 at CEA-Saclay (Paris)* You are a software engineer. Your job is to build or verify complex or critical C-code. New tools have become available, making this task easier and more fun. Discover the Frama-C suite of static analyzers! Although you might not be an expert in formal methods, this training session will show you how to benefit from the advanced capabilities of Frama-C. *Agenda* 8h30 Welcome 9h00 *Frama-C in a nutshell* 10h00 *Browsing your code dependencies* 12h00 Lunch 13h30 *Tuning the Analysis* 15h30 *Specifications & Verifications with Jessie* 17h30 Discussions To welcome a larger audience, the training session will not cover the development of extra plug-ins. The training will take place at INSTN, CEA Saclay, F-91191 Gif s/Yvette. Registration is free, however the number of participants is limited. You must register, *before the 12th March 2009*, by sending an e-mail with your name and organization to frama-c at cea.fr (or reply directly to this e-mail) Best regards, The Frama-C Team. ----------------------------------------------------------------- frama-c at cea.fr http://frama-c.cea.fr -------------- next part -------------- A non-text attachment was scrubbed... Name: Frama-C Training.pdf Type: application/pdf Size: 1280697 bytes Desc: not available Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090213/315bb86e/attachment-0001.pdf -------------- next part --------------
- Prev by Date: [Frama-c-discuss] RE : kinstr to kernel_function
- Next by Date: [Frama-c-discuss] read from and write on the same array
- Previous by thread: [Frama-c-discuss] RE : kinstr to kernel_function
- Next by thread: [Frama-c-discuss] read from and write on the same array
- Index(es):