25 avril 2024
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
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.