Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Communication Dans Un Congrès
Année : 2019
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 : mercredi 27 mars 2024-17:18:47
Archivage à long terme le : lundi 4 mars 2019-15:16:07
Dates et versions
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⟩
Collections
130
Consultations
174
Téléchargements