12 juillet 2023
Pendant une semaine, les étudiants de l’UFRN vont s’affronter sur plusieurs défis impliquant la modélisation en B et les applications de contrôle des systèmes critiques pour la sécurité.
C’est l’occasion idéale de mettre en pratique leurs compétences en méthodes formelles en utilisant la plate-forme de sécurité CLEARSY Safety Platform CLEARSY comme cible sur des sujets pratiques et réalistes. A la fin de la semaine, le meilleur étudiant sera invité pour un stage de 6 mois, à CLEARSY Aix en Provence, consacré à la modélisation formelle, à la preuve mathématique, à la sécurité et aux applications de contrôle/commande.