How to get an efficient yet verified arbitrary-precision integer library

DOI10.1007/978-3-319-72308-2_6zbMath1403.68026OpenAlexW2616938354MaRDI QIDQ1630031

Claude Marché, Raphaël Rieu-Helft, Guillaume Melquiond

Publication date: 7 December 2018

Full work available at URL: https://hal.inria.fr/hal-01519732

zbMATH Keywords

C languagearbitrary-precision arithmeticdeductive program verificationWhy3 program verifier

Mathematics Subject Classification ID

Related Items (2)

WhyMP, a formally verified arbitrary-precision integer library ⋮ Unnamed Item

Uses Software

• Why3

This page was built for publication: How to get an efficient yet verified arbitrary-precision integer library