 
        
  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 […]
 
        
  A new version of the European Train Control System (ETCS) specification has just been published: Baseline 4. Over the past […]
 
        
  During one week, UFRN students are going to compete over several challenges involving the modelling in B and the control […]
 
        
  In the continuity of our activities in the field of fire safety, CLEARSY implements and realizes the safety protocol for […]
 
        
  A certified version of ATELIER B, the tool used to specify and prove safety critical software is planned for 2024. […]
