Nouvelle version de l’Atelier B pour Mac-OS

6 mai 2020

Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable.

Après Linux et Windows, l’installeur permet maintenant une exécution de l’Atelier B 4.5.1 sur macOS 10.15, dite « Catalina ». De plus amples informations sont disponibles dans la note de version 4.5.

L’atelier B est l’outil de référence pour : réaliser la preuve mathématique des raisonnements de sécurité des systèmes complexes et interopérables, démontrer qu’un logiciel s’intègre bien dans le système programmé, réaliser un logiciel correct et prouvé mathématiquement.

Votre système comporte des failles et vous souhaitez les trouver et le maitriser ? Votre système est en service depuis longtemps et vous ne maitrisez plus précisément comment il fonctionne ? CLEARSY vous propose des solutions.