Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP

Fichier principal
Vignette du fichier
main.pdf (443.94 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01943010 , version 1 (03-12-2018)

Identifiants

  • HAL Id : hal-01943010 , version 1

Citer

Raphaël Rieu-Helft. Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP. JFLA 2019 - 30èmes Journées Francophones des Langages Applicatifs, Jan 2019, Rousses, France. ⟨hal-01943010⟩
134 Consultations
175 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More