![Conférence internationale SBMF 2017](https://www.clearsy.com/wp-content/uploads/2017/09/recife-ground_zero.jpg)
21 July 2020
Brazilian Symposium on Formal Methods
The CLEARSY Safety Platform has been presented during the talk “Applying a Formal Method in Industry : a 25-year Trajectory” with a focus on its applicability to industry. It has generated a strong interest as a tool for teaching engineering advanced practices.