Contact

Version – Atelier B 4.0 beta

 Télécharger l’Atelier B

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)

Plus d'informations sur "Télécharger l’Atelier B"

Copy link
Powered by Social Snap