The next training B will be a level 2 session and will take place from 24 to 27 July 2017 in Paris. Remember to sign up!
Thierry Lecomte
The new version 4.4.2 of the AtelierB
The new version 4.4.2 of the AtelierB toolset for the B method has been released. This comes with numerous bug fixes and several feature improvement that will...
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...
ABZ 2014
ABZ 2014 conference was held from June 2d to 6th in Toulouse. It was attended by about 120 people and allowed B, Z, ASM, Alloy and VDM communities to meet...
Atelier B 4.1.1
Atelier B 4.1.1 is available for download for Atelier B 4 maintenance contract holders. This release brings 59 bug corrections and 7 improvements. Most...
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...