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
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

Raphaël Rieu-Helft
TrustInSoft
Formally Verified Programs, Certified Tools and Numerical Computations

Domaines

Informatique [cs] Arithmétique des ordinateurs Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
main.pdf (443.94 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Raphaël Rieu-Helft  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01943010

Soumis le : lundi 3 décembre 2018-15:32:17

Dernière modification le : jeudi 28 novembre 2024-15:42:02

Archivage à long terme le : lundi 4 mars 2019-15:16:07

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
156 Consultations
199 Téléchargements

Partager

More