CLEARSY attends the third world congress on formal methods: FM’19 from 7 ou 10 october 2019.
CLEARSY presents 2 papers:
- AFFORD19 : The Bourgeois Gentleman, Engineering and Formal Methods, Thierry Lecomte
- ID@FM’19 : Property-Driven Software Analysis Mathieu Comptier, David Déharbe, Paulin Fournier and Julien Molinero
Complementing the academic program, the Industry Day targets industrial development of formal methods, and the FM Tool Exhibition provides a forum for developers of academic or industrial tools that support the use of formal methods in different stages of system and software development.
In this exhibition, The CLEARSY Safety Platform is presented. It eases the development and the deployment of safety critical applications, up to SIL4. It relies on the smart integration of formal methods (including mathematical proof), redundant code generation and compilation, and a hardware platform that ensures a safe execution of the software.