Thierry Lecomte

ABZ 2014

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

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.1

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.1

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...

Atelier B 4.1.1

Atelier B 3.7.1

Version 3.7.1 of Atelier B is now available. It has corrected the minor anomalies of Atelier B on the proof type and interface verifier and compatibility with...