--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on February 2009 ---
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 --------------