Formal Verification for Numerical Computations, and the Other Way Around

Guillaume Melquiond

Formal Verification for Numerical Computations, and the Other Way Around

Guillaume Melquiond ¹

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

Keywords : computer arithmetic formal proof program verification real analysis

Document type :

Habilitation à diriger des recherches

Domain :

Computer Science [cs] / Computer Arithmetic

Computer Science [cs] / Logic in Computer Science [cs.LO]

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

hdr.pdf

Files produced by the author(s)

Formal Verification for Numerical Computations, and the Other Way Around

File

Identifiers

Collections

Citation

Export

Metrics

101

43

Contact

Formal Verification for Numerical Computations, and the Other Way Around

File

Identifiers

Collections

Citation

Export

Share

Metrics

101

43

Contact