--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on October 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C Blog



Dear Frama-C users,

it is my pleasure to announce that a blog, available at
http://blog.frama-c.com/ 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