News
- July 24, 2024: Fourth CoMeMov general meeting at CEA List
- June 5, 2024: Yani Ziani presents Combiner la Vérification Déductive avec l’analyse de forme at AFADL 2024 in Strasbourg
- May 27, 2024: Myriam Clouet joins the project at the University of Orléans
- April 10, 2024: Téo Bernir presents Combining Deductive Verification with Shape Analysis at FASE 2024 in Luxembourg
- April 8, 2024: Loic Correnson presents Automate where Automation Fails: Proof Strategies for Frama-C/WP at TACAS 2024 in Luxembourg
- March 27, 2024: Third CoMeMov general meeting at the University of Orleans
- December 21, 2023: 2 papers accepted at ETAPS 2024 (TACAS & FASE)
- November 13, 2023: Jérémy Damour joins the CoMeMoV project as a PhD student
- November 13, 2023 Yani Ziani presents Towards Formal Verification of a TPM Software Stack at iFM 2024 in Leiden
- September 21, 2023: Second CoMeMov general meeting at CEA List including a session with the Advisory Board
- September 15, 2023: Frédéric Loulergue gives the tutorial Collaborative Analysis and Verification of C Programs with Frama-C at ASE 2023 in Luxembourg
- August 10, 2023: paper accepted at iFM 2023
- January 24, 2023: First CoMeMoV general meeting at Thales Research & Technology