Archives des Computer science

Modernise without compromising safety: discover CLEARSY’s system analysis and renovation services Computer science, Offers, Sûreté de fonctionnement, Tools

CLEARSY presents its system analysis and renovation services, a comprehensive offering dedicated to the modernisation of safety-critical systems. Designed to […]

CLEARSY works to improve the mathematical demonstration tools of Atelier B Computer science, Offers, R&D, Sûreté de fonctionnement, Tools

As part of a project funded by the French National Research Agency (ANR), CLEARSY is collaborating with LORIA (Nancy), CRIL […]

The B WORKBOOK is now available Computer science, R&D, Sûreté de fonctionnement, Tools

The user manual for B Method, the B WORKBOOK, is now available on CLEARSY’s GitHub: (https://github.com/CLEARSY/BWORKBOOK). After several months of […]

Atelier B T2 Certified Edition now available for purchase Computer science, Tools

We are pleased to present the 2025 roadmap for Atelier B, the premier IDE for the B-method and Event-B! This […]

A world first: system safety reasoning is T2 EN50129 SIL4 formally proven Computer science, Offers, Safety, Tools

The activity of formal system proof consists in mathematically expressing the global properties by which system safety is guaranteed, and […]

T2 certification for Atelier B Computer science, Safety, Tools

Atelier B was designed by CLEARSY to produce safe, zero-defect software that complies with its specifications. What makes it special? […]

CLEARSY and UFRN make cooperation agreement to promote international internships. Computer science, R&D, Tools

After more than a decade of collaboration in research and development, CLEARSY and UFRN have signed a cooperation agreement to […]

CLEARSY, a player in artificial intelligence Computer science, Exhibitions/conferences, R&D

We are excited to share that in September, CLEARSY had the opportunity to present our latest work and research in […]