Careers, Formal Methods
NOVEMBER 2023
Formal methods and cybersecurity: meeting at Polytech Marseille
Last week, our technical director spoke to engineering students from Polytech Marseille. The students were able to learn more about the application of formal methods in the context of software development under cybersecurity constraints.