| 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 | 60 | 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 | 55 | 2022 |
| The Creusot environment for the deductive verification of rust programs X Denis, JH Jourdan, C Marché Inria Saclay-Île de France, 2021 | 16 | 2021 |
| Specifying and Verifying Higher-order Rust Iterators X Denis, JH Jourdan International Conference on Tools and Algorithms for the Construction and …, 2023 | 11 | 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 |
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at cnrs.fr
