Frama-C Day 2016

Image de La Maison de la Recherche

A one-day workshop by the Frama-C community, gathering researchers and engineers around shared experiences and new perspectives.

The Frama-C day has been a big success, with more than 100 attendees. Thanks to all speakers and attendees! The presentation slides are available below:


We're a proud contributor to the Open Source Innovation Spring, highlighting the excellence and international success of innovative projects stemming from French industries and research programs.