Formal proofs of numerical programs

Nguyen Thi Minh Tuyen 1, 2, * Sylvie Boldo 1, 2 Claude Marché 1, 2
* Corresponding author
1 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Résumé : Poster du projet Hisséo pour le forum Digitéo.
Document type :
Poster communications
Forum Digitéo, Oct 2010, Palaiseau, France
Liste complète des métadonnées

https://hal.inria.fr/inria-00536135
Contributor : Sylvie Boldo <>
Submitted on : Monday, November 15, 2010 - 2:29:19 PM
Last modification on : Thursday, April 5, 2018 - 12:30:08 PM
Document(s) archivé(s) le : Friday, October 26, 2012 - 3:40:48 PM

File

posterDIGITEO.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00536135, version 1

Collections

Citation

Nguyen Thi Minh Tuyen, Sylvie Boldo, Claude Marché. Formal proofs of numerical programs. Forum Digitéo, Oct 2010, Palaiseau, France. 〈inria-00536135〉

Share

Metrics

Record views

195

Files downloads

79