Nous avons le plaisir de vous annoncer la sortie de l’Atelier B 4.0. Celle-ci s’accompagne d’un tout nouveau mode de distribution pour lequel :
- le téléchargement de l’Atelier B est gratuit
- un nouveau contrat de maintenance s’adapte à vos besoins les plus spécifiques
Parmi les principales évolutions de l’outil, notons surtout :
- la compatibilité Mac OS X et Windows supportés en plus de Linux et Solaris
- une nouvelle interface graphique proposant:
- l’intégration des fonctionnalités du paralléliseur (application visant a optimiser les temps de traitement des projets B par une utilisation transparente, distante et parallèle de l’Atelier B.)
- une interface de preuve repensée
- un éditeur avec navigation et complétion automatique
- Intégration de la preuve de bonne définition des modèles
- Ajout d’un outil de raffinement automatique (BART)
Nous vous invitons à télécharger cette nouvelle version sur le site Atelier B : Télécharger l’Atelier B.