NEWS
Atelier B 4.1.0 and Japan
CLEARSY and Witz corporation are cooperating to jointly develop the use of the B formal method in Japan. Several actions have been undertaken since last...
Atelier B 4.1.0
Atelier B 4.1.0 has been released for everyone and without any restrictions of use. This new release brings 385 bug corrections and 56 improvements (see...
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...
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...
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...
BWare: a new project on proving B proof obligations
BWare, a new research project related to the B method has started in September 2012. It is funded for a period of 4 years by the...