Open-Sourcing Software Confidence

A session at Open World Forum 2013

  • François Bobot

Friday 4th October, 2013

4:00pm to 4:20pm (PMT)

Whether software is embedded into a critical system or used off-the-shelf by millions of users, it is having to meet an increasingly difficult requirement: the need to guarantee its pivotal properties. Can the software produce unspecified behaviors ? Does it contain a security vulnerability ? Does it isolate its components from one another ? Does it meet its specifications ? Frama-C is an open-source platform for the modular analysis of C source code. Its design allows users and developers to perform complementary verifications, providing guarantees about its behavior through static or dynamic analyses. By means of an open and modular architecture, it enables the development of new plug-ins by a growing community of both academic and industrial users. In this talk we will review some of the main features of the Frama-C platform, show how it can be successfully applied to (open-source) software projects, and illustrate its role in various collaborations and shared innovation contexts.

About the speaker

This person is speaking at this event.
François Bobot

engineering-researcher, CEA Tech

François Bobot is an engineering-researcher at CEA Tech working on software verification and automatic provers. He received a Phd in Computer Science from Paris-Sud University. During his thesis, he worked on making the specification of program using pointers easier by simplifyng the expression of separation properties. He also help the use of differents automatic and assisted provers throught the development of the Why3 tool.

Next session in GNU (2.01)

4:20pm Implementing quality in Java projects by Vincent Massol

Sign in to add slides, notes or videos to this session

Sign in to track this session

Open World Forum 2013

France France, Paris

3rd5th October 2013

Tell your friends!


Time 4:00pm4:20pm PMT

Date Fri 4th October 2013


GNU (2.01), Beffroi de Montrouge

Short URL


Official event site


View the schedule


See something wrong?

Report an issue with this session