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 metadatas

https://hal.inria.fr/hal-01943010
Contributor : Raphaël Rieu-Helft <>
Submitted on : Monday, December 3, 2018 - 3:32:17 PM
Last modification on : Wednesday, September 16, 2020 - 5:26:33 PM
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

145

Files downloads

383