Formal activities through the V cycle Computer science, Tools

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

Two decades of industrial exploitation of the B formal method. Computer science, R&D, Tools

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

The new formal tool Atelier B 4.7 is available. Computer science, R&D, Tools

Atelier B 4.7.1 is available in a Community Edition ( and in a Maintenance Edition for owners of a maintenance […]

CLEARSY R&D Actions on Formal Verification: 10 years and counting… Computer science, R&D, Tools

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

New version of Atelier B for Mac-OS Computer science

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
CLEARSY Safety Platform Handbook available Computer science

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

Atelier CLEARSY Safety Platform
CLEARSY Saftey Platform 4.5.4 tool available Computer science

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
CLEARSY Safety platform SK0 is on sale Component, Computer science

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