Formal Verification for Numerical Computations, and the Other Way Around

Guillaume Melquiond 1
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [176 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02194683
Contributor : Guillaume Melquiond <>
Submitted on : Thursday, July 25, 2019 - 5:39:52 PM
Last modification on : Sunday, July 28, 2019 - 1:12:04 AM

File

hdr.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02194683, version 1

Citation

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

Share

Metrics

Record views

101

Files downloads

43