21 July 2020
For over 10 years, CLEARSY has been a SIEMENS strategic partner for the development of critical software, system validation and safety. SIEMENS has just confirmed CLEARSY as key supplier for another years.
CLEARSY develops and distributes the B Integrated Development Environment named ATELIER B used by SIEMENS for the development of critical software. CLEARSY not only brings its expertise in the application of formal methods but also in the development of certified electronic safety systems.