CLEARSY attends the third world congress on formal methods: FM’19 from 7 ou 10 october 2019. CLEARSY presents 2 papers: […]
The 18th edition of AFADL days (Approches Formelles dans l’Assistance au Développement Logiciel in french or Formal approaches to support […]
CLEARSY, a French company of 140 employees, designs and produces certified safe systems and software applications for urban and main-line […]
At the occasion of the conference RSSR 2019 held on 4-6 June 2019 in Lille, CLEARSY presents the paper entitled […]
The third conference RSSR on Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification will take place […]
COME TO CLEARSY’s BOOTH AT SIFER FAIR, FROM 26th AU 28th MARCH 2019 AT LILLE (France) – Hall 1 Booth 218 Safety […]
In Parnamirim/Brazil, the starter kit SK1 has been presented to teachers and researchers (IFRN: Instituto Federal de Educação, Ciência e […]
At IFRN-Central (Natal/Brazil), the development of proven software with the B method and their execution on the CLEARSY Safety Platform […]