Exciting News: Atelier B Community Edition 24.04 Available!

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

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.

Thank you for your continued support and feedback!
Download the latest version now and share your experience with us.