Multi-Prover Verification of Floating-Point Programs ⋆


Download Links

by Ali Ayad , Claude Marché
Citations:15 - 3 self

Active Bibliography

3 Behavioral Properties of Floating-Point Programs ⋆ – Ali Ayad, Claude Marché
Hardware-independent proofs of numerical programs ∗ Sylvie Boldo Thi Minh Tuyen Nguyen – unknown authors - 2010
Sylvie Boldo Thi Minh Tuyen Nguyen – unknown authors
Author manuscript, published in "Certified Programs and Proofs (2011)" Hardware-Dependent Proofs of Numerical Programs ⋆ – Thi Minh, Tuyen Nguyen, Claude Marché - 2013
3 A Formally-Verified C Compiler Supporting Floating-Point Arithmetic – Sylvie Boldo, Jacques-henri Jourdan, Xavier Leroy, Guillaume Melquiond - 2012
12 Combining Coq and Gappa for Certifying Floating-Point Programs ⋆ – Sylvie Boldo, Jean-christophe Filliâtre, Guillaume Melquiond
6 Trustworthy Numerical Computation in Scala – Eva Darulova, Viktor Kuncak
Refining Abstract Interpretation-based Approximations with Constraint Solvers – Olivier Ponsini, Claude Michel, Michel Rueher - 2011
Conditions ∗ – Jean-françois Couchot, Alain Giorgetti, Nicolas Stouls, Thème Sym, Jean-françois Couchot, Alain Giorgetti, Nicolas Stouls, Thème Sym Systèmes Symboliques - 2008
N o NNT: 2012PA112090 UNIVERSITÉ DE PARIS-SUD ÉCOLE DOCTORALE: INFORMATIQUE PARIS-SUD DISCIPLINE: INFORMATIQUE – Thèse De Doctorat, Thi Minh, Tuyen Nguyen, Jean-michel Muller, David Monniaux, César A. Muñoz, Xavier Leroy, Florent Hivert - 2012
2 A Refinement Methodology for Object-Oriented Programs – Asma Tafat, Sylvain Boulmé, Claude Marché - 2009
Project-Team Proval Proof of programs – Saclay Île-de-france
11 Formal Verification of the VAMP Floating Point Unit – Christoph Berg, Christian Jacobi - 2001
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs – Sylvie Boldo, Claude Marché
11 Verification of IEEE Compliant Subtractive Division Algorithms – Paul S. Miner, James F. Leathrum, Jr. - 1996
Formal veri cation of numerical programs: from C annotated programs to Coq proofs ⋆ Sylvie Boldo – unknown authors - 2010
1 Automatic Detection of Floating-Point Exceptions – Earl T. Barr, Thanh Vo, Vu Le, Zhendong Su - 1996
14 S.: Static analysis of finite precision computations – Eric Goubault, Sylvie Putot - 2011
31 A Machine-Checked Theory of Floating Point Arithmetic – John Harrison - 1999