Project Plenary Meeting: a DéCySi-ve Day

On Thursday, March 13, 2025, all the partners of the Decysif project (TrustInSoft, AdaCore, OCamlPro, and the LMF team) gathered at the OCamlPro offices in Paris’s 14th arrondissement for the project’s plenary meeting!

It was the perfect occasion for these twenty engineers to come together and take stock of the progress on research topics, projects, and tools that are continuously growing and evolving!

It was also a great opportunity to review the remaining objectives and to discuss the organization and schedule of the work ahead.

As with the kickoff meeting, this session ended—as often happens among these well-acquainted partners—with intense technical discussions: on the interaction between Why3 (source code)
and Alt-Ergo (source code), on use cases for testing Creusot (source code), or on vulnerability detection techniques using TIS Analyzer (open-source kernel code) or Spark (source code).