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

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

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

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

CLEARSY attended FM2024, one of the largest Formal Methods conferences in the world. More than 300 academic and industrial researchers gathered […]

“Thanks to the B method, Meteor kept its promise” … “I’d never seen anything like it: the software was almost […]

We are thrilled to announce the release of our latest version of Atelier B. Here’s what’s new and improved in […]

The White House highlights the use of formal methods in a new report. Three points very interesting: It is possible […]