Accéder directement au contenu

Claude Marché

2
Documents
Affiliations actuelles

Publications

jacques-henri-jourdan
Image document

Creusot: a Foundry for the Deductive Verification of Rust Programs

 Xavier Denis , Jacques-Henri Jourdan , Claude Marché
ICFEM 2022 - 23th International Conference on Formal Engineering Methods, Oct 2022, Madrid, Spain
Communication dans un congrès hal-03737878v1
Image document

The CREUSOT Environment for the Deductive Verification of Rust Programs

 Xavier Denis , Jacques-Henri Jourdan , Claude Marché
[Research Report] RR-9448, Inria Saclay - Île de France. 2021
Rapport hal-03526634v2