![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
La version 4 de l’Atelier B sera gratuite pour tous dès sa sortie, en fin d’année 2008.La version en cours […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
AeS et CLEARSY organisent cette année une journée dédiée à la méthode B, qui se déroulera au Brésil, en août […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY participera au Forum organisé par Vector France, qui se tiendra le 24 juin 2008, au Palais des Congrès à […]
![CLEARSY au salon INNOTRANS de Berlin 2008](https://www.clearsy.com/wp-content/uploads/2008/05/salon-innotrans-2008-0011-640x325-1.jpg)
CLEARSY a participé au Salon INNOTRANS qui s’est déroulé du 23 au 26 septembre 2008, à Berlin. Dans le cadre […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
La version 3.7.1 de l’Atelier B est disponible. Elle corrige des anomalies mineures de l’atelier B sur le vérificateur de […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
L’Atelier B 3.7 est disponible depuis le 18/07/2007. Il apporte de nombreuses améliorations aux fonctionnalités de l’Atelier B afin de […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Une nouvelle version de B4Free est désormais téléchargeable.Les principales nouveautés : un générateur de code permettant de traduire les implémentations […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY était présente à la conférence SBMF 2007 et y a présenté son article : « Formal Methods in Safety-Critical Railway […]