--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on February 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C Training Session 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 --------------