Aeneas: Rust Verification by Functional Translation
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Rapport
Année : 2023
Son Ho : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04136056
Soumis le : mercredi 21 juin 2023-13:10:20
Dernière modification le : mardi 5 novembre 2024-13:14:02
Archivage à long terme le : vendredi 22 septembre 2023-18:35:35
Dates et versions
Identifiants
- HAL Id : hal-04136056 , version 1
Citer
Son Ho, Jonathan Protzenko, Aymeric Fromherz. Aeneas: Rust Verification by Functional Translation. Inria Paris. 2023. ⟨hal-04136056⟩
Collections
57
Consultations
48
Téléchargements