![](https://www.clearsy.com/wp-content/uploads/2022/01/2-decades-ATB-US-web.jpeg)
The release of Atelier B 4.7 materializes two decades of industrial exploitation of the B formal method, with the support […]
![](https://www.clearsy.com/wp-content/uploads/2022/01/ATB-4.7-US-web.jpeg)
Atelier B 4.7.1 is available in a Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) and in a Maintenance Edition for owners of a maintenance […]
![](https://www.clearsy.com/wp-content/uploads/2021/11/Proof-US-web.jpeg)
Proof automation and support for interactive proof are key components in the application of formal methods for software and system […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Atelier B 4.5 is a Community Edition version, freely downloadable. After Linux and Windows, the installer allows now the execution […]
![CLEARSY Safety Platform handbook](https://www.clearsy.com/wp-content/uploads/2019/07/cssp-handbook-1.jpg)
The first release of the CLEARSY Safety Platform is avaliable for download. It will be enriched every month with new […]
![Atelier CLEARSY Safety Platform](https://www.clearsy.com/wp-content/uploads/2019/07/atelier-cssp-1.jpg)
The CLEARSY Safety Platform IDE is available for download only for SK0 board owners. It is the first public version […]
![CLEARSY Safety Platform SK0 est en vente](https://www.clearsy.com/wp-content/uploads/2019/03/sko-on-sale.jpg)
The first starter kit (SK0) of the CLEARSY safety Platform is on sale at www.clearsy.com. With 5 digital inputs/outputs, the […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY has the pleasure to announce the release of Atelier B 4.0. This version comes with a brand new mode […]