Publié le 24/04/2024 |

We are thrilled to announce the release of our latest version of Atelier B.

Here’s what’s new and improved in this version:

Added Functionalities

  • Automatic Proof-Support: Utilize off-the-shelf automatic theorem
    provers (Alt-Ergo, CVC4, CVC5, iProver, Vampire, Z3) for proof
  • Generate Rust code from software projects.


  • Help Menu Reorganization: Find documentation conveniently under the
    Help menu.
  • Event-B Support Update: Updated syntax and proof obligations for
    better clarity.

Miscellaneous Changes

  • Bug Fixes and Enhancements: Several improvements for stability and
    user experience.

For detailed release notes and downloading the software, visit

Windows version is available now. Versions for several Linux distributions
are coming soon, followed by a macOS version.