7 décembre 2018
A IFRN-Central (Natal/Brésil), un exposé a présenté à des étudiants et enseignants en informatique le développement de logiciels prouvés avec la méthode B et leur exécution sur la CLEARSY Safety Platform.