Contact

Version 4.6.3 de l’Atelier B

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

Vous aimerez aussi :

Copy link
Powered by Social Snap