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 features such as:

  • data validation/generation projects support, in complement of “B for Software” and “B for Systems” projects,  as well as Prob model checker integration;
  • project graphical views, allowing to more easily sort components from a proof point of view;
  • a C code generator, C4B, based on the B compiler, supporting project CMakelist generation and making use translation profile;
  • support of task parallel execution on a single component.

Support documentation describing how to use practically these new features will be released during October 2012.

Atelier B 4.1 will become in December 2012 the new Atelier B Community Edition, replacing the 4.0.1 version.