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 | 39 | 2022 |
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 | 37 | 2022 |
The Creusot environment for the deductive verification of rust programs X Denis, JH Jourdan, C Marché Inria Saclay-Île de France, 2021 | 14 | 2021 |
Specifying and Verifying Higher-order Rust Iterators X Denis, JH Jourdan International Conference on Tools and Algorithms for the Construction and …, 2023 | 7 | 2023 |
Mastering program verification using possession and prophecies X Denis 32 ème Journées Francophones des Langages Applicatifs, 174, 2021 | 3 | 2021 |
Deductive program verification for a language with a Rust-like typing discipline X Denis Université de Paris, 2020 | 3 | 2020 |