Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Cet installeur permet une exécution de l’AtelierB 4.5.1 sur macOS 10.15, dite « Catalina » Nous rappelons que la version 4.5.1 améliore les fonctionnalités suivantes depuis le 4.2.1 : Installation simplifiée sous Linux [4.5] Génération de PO pour le […]
Sortie de la version de maintenance 4.5.5 de l’Atelier B
L’Atelier B 4.5.5 Maintenance édition est disponible au téléchargement. Cette version corrige notamment une anomalie présente depuis les premières versions du prouveur. Cette anomalie est liée à l’instanciation des hypothèses quantifiées universellement, la protection contre la capture de variables libres était incomplète. Ceci pouvait conduire à des preuves incorrectes dans des conditions particulières.
AFADL – GDR GPL : Clearsy fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B
Les dix-huitièmes journées AFADL (Approches Formelles dans l’Assistance au Développement Logiciel) se tiendront du 11 au 14 juin 2019 à l’ENSEEIHT, en même temps que le rassemblement annuel du GDR GPL (Groupement de Recherche Génie de la Programmation et du Logiciel). Clearsy vous accueillera sur notre stand lors de ces Journées Nationales 2019 qui auront […]
Version 4.5.1 de l’Atelier B
Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Cette version corrige une anomalie sur l’appel du traducteur C depuis l’interface utilisateur. Pour des informations sur la version 4.5.0 voir ici ou de plus amples informations sont disponibles dans la note de version 4.5
Version 4.5 de l’Atelier B
Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Cette version corrige, de manière cumulative depuis la version 4.2.1, 146 anomalies et améliore les fonctionnalités suivantes : Installation simplifiée sous linux [4.5] Génération de PO pour le B événementiel, les obligations de preuve de non-interblocage, non-divergence, faisabilité, exclusivité […]
Conférence Formal Methods à Oxford du 15 au 17 juillet 2018
A l’occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, ClearSy présentera sa vision de l’utilisation des méthodes formelles pour le développement de systèmes critiques. L’exposé intitulé “Disruptive Innovations for the Development and the Deployment of Fault-Tree Software” aura lieu le 17 Juillet lors de la […]
Conférence internationale SBMF 2017
ClearSy participe à la conférence internationale SBMF 2017 (http://sbmf2017.cin.ufpe.br/) relative aux méthodes formelles qui aura lieu du 27 Novembre au 1er Décembre 2017, à Recife (Brésil). A cette occasion, ClearSy présentera un article scientifique intitulé “Applying a Formal Method in Industry: a 25-Year Trajectory”. Par ailleurs, une session de formation sera organisée dans le cadre […]
Prochaine session de formation B, niveau 2
La prochaine formation B sera une session de niveau 2 et se tiendra du 24 au 27 juillet 2017 à Paris. Pensez à vous inscrire !
La nouvelle version 4.4.2 de l’AtelierB est disponible
Cette version contient de nombreux correctifs et plusieurs améliorations. La fonctionnalité le plus marquante est une fonction de visualisation et de gestion des obligations de preuves qui est directement dans l’éditeur de modèle. On retrouve aussi deux nouvelles capacités pour la preuve interactive ainsi qu’un enrichissement de l’outil de gestion des règles de preuves. Un […]
Version 4.4.2 de l’Atelier B
Version 4.4.2 de l’Atelier B.
45 correctifs de maintenance, cette version apporte de nouvelles fonctionnalités en accès anticipé. Il s’agit de l’ajout d’une nouvelle commande dans le prouveur interactif, de l’ajout de nouvelle fonctionnalités dans l’outil de preuve de règles et de l’affichage des obligations de preuve dans l’éditeur.