CLEARSY uses formal methods in many phases in the development cycle: systems reasoning: to define and prove mathematically system safety […]

The release of Atelier B 4.7 materializes two decades of industrial exploitation of the B formal method, with the support […]

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 […]

Proof automation and support for interactive proof are key components in the application of formal methods for software and system […]

Atelier B 4.5 is a Community Edition version, freely downloadable. After Linux and Windows, the installer allows now the execution […]

The first release of the CLEARSY Safety Platform is avaliable for download. It will be enriched every month with new […]

The CLEARSY Safety Platform IDE is available for download only for SK0 board owners. It is the first public version […]

The first starter kit (SK0) of the CLEARSY safety Platform is on sale at www.clearsy.com. With 5 digital inputs/outputs, the […]