Today, our engineers have attended a new webinar organised by our technical management!
The topic of this webinar? Ada SPARK.
This technology allows to make formal verifications of Ada code and is used on certain projects within Systerel. Its main advantages : its application to a critical subset without separating it from the rest of the project, and the complementarity of formal methods with traditional tests.
Our technical management offers regular webinars to encourage the development of skills and access to new techniques or methods.
If you wish to join us, please click here