A new logo, a new baseline

22 July 2020

With this new logo CLEARSY affirms its positioning in designing safety solutions. Bringing together high-level engineers and doctors, design and technicality are at the heart of its DNA.

The application of the B Formal method, based on mathematics and proof, are key elements: the system’s safety reasoning is mathematically demonstrated, as the software embedded in the system is.

In a complex world, in which an operator cannot afford to choose between user safety and service availability, CLEARSY creates dedicated solutions: availability and safety are only possible with tailor-made solutions.

The complexity and interactions between systems and individuals are increasing. In a world where the future that is taking shape will be marked by increasing automation through artificial intelligence, solutions based on formal reasoning allow CLEARSY to promise everyone a safer world.