Accéder directement au contenu

Claude Marché

3
Documents
Affiliations actuelles

Publications

881849
Image document

Hardware-Dependent Proofs of Numerical Programs

 Thi Minh Tuyen Nguyen , Claude Marché
Certified Programs and Proofs, Dec 2011, Kenting, Taiwan
Communication dans un congrès hal-00772508v1
Image document

Formal proofs of numerical programs

 Nguyen Thi Minh Tuyen , Sylvie Boldo , Claude Marché
Forum Digitéo, Oct 2010, Palaiseau, France
Poster de conférence inria-00536135v1
Image document

Proving Floating-Point Numerical Programs by Analysis of their Assembly Code

 Nguyen Thi Minh Tuyen , Claude Marché
[Research Report] RR-7655, INRIA. 2011, pp.61
Rapport inria-00602266v1