Aujourd’hui, nos ingénieurs ont assisté à un nouveau webinaire organisé par notre direction technique !
Le thème de ce webinaire ? Ada SPARK.
Cette technologie permet de faire des vérifications formelles de code Ada et est utilisée sur certains projets au sein de Systerel. Ses principaux atouts : son application à un sous-ensemble critique sans le séparer du reste du projet, et la complémentarité des méthodes formelles avec les tests traditionnels.
Notre direction technique propose régulièrement des webinaires pour favoriser le développement des compétences et l’accès à de nouvelles techniques ou méthodes. Si vous souhaitez nous rejoindre, c’est ici