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 (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


  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 (or reply directly  
to this e-mail)

Best regards,
      The Frama-C Team.

frama-c at

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Frama-C Training.pdf
Type: application/pdf
Size: 1280697 bytes
Desc: not available
Url : 
-------------- next part --------------