News
- November 13, 2023: Jérémy Damour joins the CoMeMoV project as a PhD student
- September 21, 2023: Second CoMeMov general meeting at CEA List including a session with the Advisory Board
- September 15, 2023: 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