Atelier B Community Edition 24.04 Available

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
  obligations.
• Generate Rust code from software projects.

Documentation

• 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 https://www.atelierb.eu/en/atelier-b-tools/atelier-b-2024-04

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