NEWS

Technical conference on formal method organized by Aerospace Valley

Data Validation / Generation

Data validation and generation are of paramount importance in the railways, in order to ensure safety at the system level. Several studies/works have been...

Technical conference on formal method organized by Aerospace Valley

Atelier B 4.1 Beta 1

Atelier B 4.1 Beta 1 phase starts on November 2nd 2012 for a month. This release integrates 4.0.2 improvements and comes along with a number of new...