Talk at the conference SBMF 2017

Conférence internationale SBMF 2017
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.