![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
This year, AeS and CLEARSY are organizing a day dedicated to the B Method, which will take place in Brazil […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY will participate in the Forum organized by Vector France to be held on June 24, 2007 in the Congress […]
![CLEARSY at INNOTRANS fair, Berlin 2008](https://www.clearsy.com/wp-content/uploads/2008/05/salon-innotrans-2008-0011-640x325-1.jpg)
CLEARSY participated in the INNOTRANS Fair to take place from September 23 to 26, 2008 in Berlin. In the context […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Version 3.7.1 of Atelier B is now available. It has corrected the minor anomalies of Atelier B on the proof […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Atelier B 3.7 has been available since 18 July 2007 and includes many upgrades for Atelier B’s major functionalities in […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
You can now download the new version of B4Free. Among its new principal features, this version includes a code generator […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY attended the SBMF 2007 Conference and presented its article: “Formal Methods in Safety-Critical Railway Systems”. We discussed the use […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY will participate in the Safecomp 2007 conference to be held on September 18 to 21, 2007 in Nuremburg, Germany. […]