Formal Verification for Numerical Computations, and the Other Way Around

Guillaume Melquiond

Hdr Année : 2019

Formal Verification for Numerical Computations, and the Other Way Around

(1)

1

Guillaume Melquiond

Fonction : Auteur
PersonId : 1146
IdHAL : guillaume-melquiond
ORCID : 0000-0002-6697-1809
IdRef : 117280836

Formally Verified Programs, Certified Tools and Numerical Computations

CV

Mots clés

computer arithmetic formal proof program verification real analysis

arithmétique des ordinateurs preuve formelle vérification de programmes analyse réelle

Domaines

Arithmétique des ordinateurs Logique en informatique [cs.LO]

Fichier principal

hdr.pdf (1.52 Mo)

Origine	Fichiers produits par l'(les) auteur(s)

Guillaume Melquiond : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-02194683

Soumis le : jeudi 25 juillet 2019-17:39:52

Dernière modification le : jeudi 28 mars 2024-16:32:46

Dates et versions

tel-02194683 , version 1 (25-07-2019)

Identifiants

HAL Id : tel-02194683 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

303 Consultations

834 Téléchargements

Formal Verification for Numerical Computations, and the Other Way Around

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager