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.

On Tuesday, December 19, 2023, all partners of the Decysif project (TrustInSoft, AdaCore, OCamlPro, and the LMF team) gathered at the TrustInSoft offices in the 14th arrondissement of Paris for the project kickoff meeting! It was a great opportunity to review the ambitious goals of the project, exchange between partners about the organization and agenda of the work. The meeting ended, as is often the case with these well-acquainted partners, with intense technical discussions on the interaction between Why3 (repository) and Alt-Ergo (repository), use cases for testing Creusot (code source), and techniques for detecting vulnerabilities using TIS Analyzer (repository of the OS kernel) or Spark (repository).