Wiik, Jonatan; Boström, Pontus Contract-based verification of MATLAB-style matrix programs. (English) Zbl 1338.65116 Formal Asp. Comput. 28, No. 1, 79-107 (2016). MSC: 65F30 65G20 68N15 × 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