12 July 2023
During one week, UFRN students are going to compete over several challenges involving the modelling in B and the control of safety critical systems.
It is the ideal occasion to put their formal methods skills in practice by using the CLEARSY Safety Platform as a target on practical and realistic subjects.
At the end of the week, the best student is going to be invited for a 6-month internship at CLEARSY in Aix en Provence (France) devoted to formal modelling, mathematical proof, safety, and command/control application.