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...
Thierry Lecomte
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...
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...
B Dissemination Day – Satellite event of Grace International Symposium on Advanced Software Engineering 2010
Mars 15th-17th 2010, Tokyo, Japan Presentation The aim of this workshop is to illustrate B/event-B formal modeling as a technique for specifying, designing,...