![Conférence internationale SBMF 2017](https://www.clearsy.com/wp-content/uploads/2017/09/recife-ground_zero.jpg)
29 novembre 2017
Brazilian Symposium on Formal Methods
La conférence SBMF organisée du 29 Novembre au 1er Décembre 2017 à Recife (Brésil). La CLEARSY Safety Platform a été présentée lors de l’exposé scientifique « Applying a Formal Method in Industry : a 25-year Trajectory ». Cette présentation a permis de montrer la démarche formelle de l’entreprise qui s’inscrit dans la durée, son applicabilité au monde de l’industrie. Elle a suscité un intérêt fort pour la CLEARSY Safety Platform en tant qu’outil de formation aux pratiques avancées de l’ingénierie.