Siegel, Stephen F.; Zirkel, Timothy K. FEVS: a functional equivalence verification suite for high-performance scientific computing. (English) Zbl 1264.68066 Math. Comput. Sci. 5, No. 4, 427-435 (2011). MSC: 68N30 68N19 65D99 × Cite Format Result Cite Review PDF Full Text: DOI
Siegel, Stephen F.; Zirkel, Timothy K. TASS: the toolkit for accurate scientific software. (English) Zbl 1264.68113 Math. Comput. Sci. 5, No. 4, 395-426 (2011). MSC: 68Q60 68N30 68N19 65D99 × Cite Format Result Cite Review PDF Full Text: DOI
Boldo, Sylvie; Marché, Claude Formal verification of numerical programs: from C annotated programs to mechanical proofs. (English) Zbl 1264.68054 Math. Comput. Sci. 5, No. 4, 377-393 (2011). MSC: 68N30 68Q60 68N15 65Y04 × Cite Format Result Cite Review PDF Full Text: DOI HAL