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 (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) 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 available Computer science

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

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 is on sale Component, Computer science

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

Atelier B 4.0 is available! Computer science

CLEARSY has the pleasure to announce the release of Atelier B 4.0. This version comes with a brand new mode […]