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.