La prochaine formation B sera une session de niveau 2 et se tiendra du 24 au 27 juillet 2017 à Paris. Pensez à vous inscrire !

La prochaine formation B sera une session de niveau 2 et se tiendra du 24 au 27 juillet 2017 à Paris. Pensez à vous inscrire !
Cette version contient de nombreux correctifs et plusieurs améliorations. La fonctionnalité le plus marquante est une fonction de visualisation et de gestion...
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.
Ce séminaire, intitulé « Logiciel prouvé avec B pour des automatismes sécuritaires à bas coût et à haut niveau d’intégrité », est axé sur les dernières innovations concernant le développement d’applications critiques avec la méthode formelle B:
« L’Atelier B a été utilisé de manière intensive pour le développement d’applications critiques, principalement dans le domaine ferroviaire
Le projet LCHIP (Low Cost High Integrity Plateform) vise à faciliter le développement de systèmes sécuritaires (logiciel critiques) jusqu’au niveau SIL 4 qui...
A l'occasion de la conférence ABZ 2016 (http://www.cdcc.faw.jku.at/ABZ2016/) qui a eu lieu de 23 au 27 Mai 2016 à Linz (Autriche), CLEARSY a été invitée à...