--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on October 2010 ---
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