CLEARSY will participate to the international conference SBMF 2017 (http://sbmf2017.cin.ufpe.br/) on formal methods that will take place on November...
Thierry Lecomte
Next training session B, level 2
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!
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...