Réunion plénière du projet : une journée DéCySi-ve

Jeudi 13 Mars 2025, tous les partenaires du projet Decysif (TrustInSoft, AdaCore, OCamlPro et l’équipe LMF) se sont réunis dans les locaux d’OCamlPro dans le 14ème arrondissement de Paris pour la réunion plénière du projet !

L’occasion parfaite pour que ces vingt ingénieur.es se retrouvent pour faire le point sur l’avancée des sujets recherches, projets et outils qui grandissent et évoluent continuellement conjointement !

Une bonne opportunité également pour revoir les objectifs restant à atteindre, et d’échanger sur l’organisation et l’agenda des travaux.

Comme pour la réunion de lancement, la réunion s’est terminée, comme souvent entre ces partenaires qui se connaissent bien, par des discussions techniques intenses, sur l’intéraction entre Why3 (code source) et Alt-Ergo (code source), sur les cas d’usages pour tester Creusot (code source), ou encore sur les techniques de détection de failles en utilisant TIS Analyzer (code source de son Kernel libre) ou Spark (code source).