NEWS

Bxml errors with Atelier B 4.2 Free

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

ATELIER B 4.2 CELEBRATES 20 YEARS

ATELIER B 4.2 CELEBRATES 20 YEARS

Atelier B 4.2 Community Edition has been released on December 19,  2014. This release brings 151 bug corrections and 47 improvements. Among...

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

Presentation to M2 STL students

Presentation to M2 STL students

On March 14th, 2014, we shall present to M2 STL students – Pierre & Marie Curie University in Paris, various industrial cases of the use of the formal B...