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.