Segui
Xavier Denis
Xavier Denis
ETHZ
Email verificata su lri.fr
Titolo
Citata da
Citata da
Anno
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
742022
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
562022
The Creusot environment for the deductive verification of rust programs
X Denis, JH Jourdan, C Marché
Inria Saclay-Île de France, 2021
162021
Specifying and Verifying Higher-order Rust Iterators
X Denis, JH Jourdan
International Conference on Tools and Algorithms for the Construction and …, 2023
132023
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–6