Version 4.6.3 de l’Atelier B

Nous avons le plaisir de vous informer de la mise à disposition de la version 4.6.3 de l’Atelier B.
Cette version est exclusivement réservée aux détenteurs d’un contrat de maintenance, qui peuvent y accéder depuis leur espace personel.

Cette version corrige, 133 anomalies depuis la versions 4.5.5 et améliore les fonctionnalités suivantes :

• AtelierB CSSP :
  • Permet la modélisation en B et la programmation d’applications pour les starter kits SK0 et SK1
• Preuve interactive
  • Possibilité de rejouer les preuves sauvegarder jusqu’à la première commande en échec
  • Lors de la sauvegarde du User_Pass il est possible de le sauvegarder dans le Patchprover
• Gestion projet
  • Amélioration de l’utilisation du MANIFEST
  • L’utilisation du fichier MANIFEST est désormais possible en mode console
• Traducteurs
  • C4B : Ajout de la traduction de tableaux indexé sur un énuméré
  • B2C contrôle sur les initialisations de tableaux
• Tâcherons
  • Traitement des nombres réels
  • Ajout uniquement de règles validées par PP
• NGOP :
  • B système : Ajout de la gestion WITNESS
  • Consolidation de la génération de PO
• Documentation :
  • Ajout du manuel de paramétrisation du générateur d’obligation de preuve

De plus amples informations sont disponibles dans la note de version 4.6.3