Technical conference on formal method organized by Aerospace Valley

The Aerospace Valley center (DAS embedded system), with the support of the ISFE theme of the RTRA AE/SE, organized a series of technical conferences on formal methods of development.

CLEARSY took part in the first conference on November 13^th 2012 at the Aeronautic and Space Institute (IAS) in Toulouse, France.

During the conference one of the subject treated was the formal validation of constant data for which the formal B method is used (RATP verification tool and ProB), see the page:
Formal Data Validation