NEWS
Atelier B has turned 20
At the occasion of the ABZ 2016 conference (http://www.cdcc.faw.jku.at/ABZ2016/) which took place in Linz (Austria) on May 23-27 2016, CLEARSY was invited to...
Double-Core SIL4 Architecture Presented During Open Source Innovation Spring (Paris)
At the occasion of the seminar entitled "Languages and tools for Software Reliability" (May 12th 2016, Jussieu (Paris)) that will take place during the Open...
Atelier B 4.3.1 is Available for Maintenance Holders
We are pleased to inform you that Atelier B 4.3.1 is available for download. It is exclusively reserved for maintenance holders, and is accessible from the...
Formal Data Validation Tutorial at ABZ 2014, Toulouse
At the occasion of the ABZ 2014 conference, a tutorial on formal data validation is organized at ENSEEIHT together with workshops (see details here). The...
Atelier B 4.2.1 Free
Atelier B 4.2.1 Free is available for download. It corrects the errors related to the introduction of the new tool bxml and the lack of default values for the...
Bxml errors with Atelier B 4.2 Free
New bxml tool included in atelier B 4.2 Free is not working properly as required resources are missing. When used, error messages "Bxml error for ..." are...