Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Formal Verification for Numerical Computations, and the Other Way Around

Guillaume Melquiond 1 
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
Keywords : computer arithmetic formal proof program verification real analysis
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [176 references]  Display  Hide  Download
https://tel.archives-ouvertes.fr/tel-02194683
Contributor : Guillaume Melquiond Connect in order to contact the contributor
Submitted on : Thursday, July 25, 2019 - 5:39:52 PM
Last modification on : Saturday, June 25, 2022 - 10:38:32 PM

File

Vignette du document
hdr.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02194683, version 1

Collections

CNRS | INRIA | UMR8623 | CENTRALESUPELEC | INRIA2 | LRI-VALS | UNIV-PARIS-SACLAY | GS-COMPUTER-SCIENCE

Citation

Guillaume Melquiond. Formal Verification for Numerical Computations, and the Other Way Around. Computer Arithmetic. Université Paris Sud, 2019. ⟨tel-02194683⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

202

Files downloads

520