Follow
Xavier Denis
Xavier Denis
Université Paris-Saclay, CNRS, INRIA, LMF
Verified email at lri.fr
Title
Cited by
Cited by
Year
Creusot: A Foundry for the Deductive Verification of Rust Programs
X Denis, JH Jourdan, C Marché
International Conference on Formal Engineering Methods, 90-105, 2022
372022
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code
Y Matsushita, X Denis, JH Jourdan, D Dreyer
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
362022
The Creusot environment for the deductive verification of rust programs
X Denis, JH Jourdan, C Marché
Inria Saclay-Île de France, 2021
142021
Specifying and Verifying Higher-order Rust Iterators
X Denis, JH Jourdan
International Conference on Tools and Algorithms for the Construction and …, 2023
72023
Mastering program verification using possession and prophecies
X Denis
32 ème Journées Francophones des Langages Applicatifs, 174, 2021
32021
Deductive program verification for a language with a Rust-like typing discipline
X Denis
Université de Paris, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–6