L’Atelier B 4.0 est disponible !

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.