Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France - Coq - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-07-21 10:31:12 Theoretical computer science Formal methods French Institute for Research in Computer Science and Automation Computer science Verification Formal verification Software verification Mathematics Cognitive science		Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 805,01 KB Share Document on Facebook