News - Page 11 of 32

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

The CLEARSY Fire Safety System (FSS) Supervisor complies with the American FSS standard NFPA 130. Fire safety, Safety, Tools

A standard analysis was performed to determine if the CLEARSY fire safety system (FSS) supervisor could be used in countries […]

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

CLEARSY at “ICT for railway”, international workshop, from December 7 to 8, 2021 in Toulouse. Exhibitions/conferences, Railway

CLEARSY is pleased to announce its presence at the ICT workshop which will take place from 7 to 8 December […]

The challenge of cybersecurity for safe systems. R&D, Safety

The LabSoC laboratory at Telecom Paris school and CLEARSY are joining forces for two years to integrate cybersecurity threat management […]

The platform screen doors of the line 4 of PARIS is now in operation in security. Metro (CBTC), Railway

CLEARSY is the prime contractor in the design, supply and deployment of the detection system of individual, in the gaps […]

CLEARSY supports the automation of line 4 of the Paris metro with its system for opening and closing platform screen doors. Metro (CBTC), Railway

Between 2008 and 2011, the system for opening and closing platform screen doors (DOF product) developed by CLEARSY, allows the […]

Filter posts