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

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

Assigning safe processing to meanings R&D, Safety, Tools

CLEARSY has developed and certified the CLEARSY SAFETY PLATFORM (CSP), a solution to develop safety critical real-time embedded systems certified […]

robosim
CLEARSY joins RoboStar group R&D

Lead by the University of York (UK), Robostar is one of the largest research groups in the world on software […]

error