Aeneas: Rust Verification by Functional Translation - LARA - Libre accès aux rapports scientifiques et techniques
Rapport Année : 2023

Aeneas: Rust Verification by Functional Translation

Son Ho
  • Fonction : Auteur
  • PersonId : 1119900
Aymeric Fromherz
Fichier principal
Vignette du fichier
main.pdf (256.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04136056 , version 1 (21-06-2023)

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⟩
57 Consultations
48 Téléchargements

Partager

More