Publié le 23/02/2009 |

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 :

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.