At the ERTS 2020 scientific conference on January 30, 2020, the collaboration between Numalis and Ariane Group was presented.
This collaboration was illustrated during the conference’s industrial poster session. This collaboration focused on the analysis of code reliability for the flight functions of next-generation space launchers.