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 Blog

  • Subject: [Frama-c-discuss] Frama-C Blog
  • From: virgile.prevosto at (Virgile Prevosto)
  • Date: Fri, 1 Oct 2010 18:12:26 +0200

Dear Frama-C users,

it is my pleasure to announce that a blog, available at will keep you informed on what is going on
within Frama-C.

This blog is started as part of the DEVICE-Soft project and its
contributors are both Frama-C developers (us ;-) and Frama-C users (our
partners at Fraunhofer FIRST). The main aim is to concentrate on the
usage of the tool through short examples.

On behalf of the DEVICE-Soft team,
Virgile Prevosto
Ing?nieur-Chercheur, CEA, LIST
Laboratoire de S?ret? des Logiciels
+33/0 1 69 08 82 98