Version – Atelier B 4.0 beta

Date de diffusion : septembre 2008
Nouvelles Fonctionnalités / Caractéristiques :

Mac OS X et Windows supportés (en plus de Linux et Solaris)
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)