Publié le 26/11/2012 |

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 13th 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