Skip to Main content Skip to Navigation
Conference papers

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

Raphaël Rieu-Helft 1, 2
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
Complete list of metadata

https://hal.inria.fr/hal-01943010
Contributor : Raphaël Rieu-Helft Connect in order to contact the contributor
Submitted on : Monday, December 3, 2018 - 3:32:17 PM
Last modification on : Thursday, July 8, 2021 - 3:47:02 AM
Long-term archiving on: : Monday, March 4, 2019 - 3:16:07 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01943010, version 1

Citation

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⟩

Share

Metrics

Record views

171

Files downloads

460