NEWS

The new version of Atelier B is in beta test

Atelier B 4.0 Screenshots

While waiting for the release of Atelier B 4.0, here a few sneak preview screenshots of our application on the Windows, Linux and Mac Operating Systems (OS)....

CLEARSY’s Open Source Projects

CLEARSY’s Open Source Projects

In 2008, CLEARSY decided to make Atelier B available at no cost in order to favour the dissemination of B. In order to facilitate the appropriation of...

The new version of Atelier B is in beta test

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