Actualités

Projet LCHIP et architecture double processeur: premier starter kit

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.

Projet LCHIP et architecture double processeur: premier starter kit

CLEARSY organise un séminaire technique à l’Université de Sherbrooke (Québec) le jeudi 20 octobre 2016 de 10h30 à 12h.

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