Atelier B Community Edition 24.04 disponible

Nous sommes ravis d’annoncer la sortie de notre dernière version de
Atelier B.

Voici ce qui est nouveau et amélioré dans cette version :

Fonctionnalités ajoutées

• Support automatique des épreuves : Utilisation de prouveurs automatiques de théorèmes
  (Alt-Ergo, CVC4, CVC5, iProver, Vampire, Z3) pour les obligations de preuve.
• Générer du code Rust à partir de projets logiciels.

Documentation

• Réorganisation du menu d’aide : Trouvez la documentation de manière pratique dans le menu
  Aide.
• Mise à jour du support Event-B : Mise à jour de la syntaxe et des obligations de preuve pour
  pour plus de clarté.

Changements divers

• Corrections de bugs et améliorations : Plusieurs améliorations pour la stabilité et l’expérience
  l’expérience de l’utilisateur.

Pour obtenir des notes de version détaillées et télécharger le logiciel, visitez https://www.atelierb.eu/outil-atelier-b/atelier-b-2024-04/

La version Windows est disponible dès maintenant. Des versions pour plusieurs distributions Linux
seront bientôt disponibles, suivies d’une version macOS.