On the need to specify and verify standard functions

MaRDI QIDQ2979883zbMATH OpenFDO

Authors Nikolay V. Shilov

Publication date 26 April 2017

Full work available at URL http://bulletin.iis.nsk.su/files/article/libverbulletin15.pdf

zbMATH Keywords

formal specificationformal program verificationmathematical functionstandard library

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Standardization and testing of mathematical functions
• Validated special functions software
• Proposal for a standardization of mathematical function implementation in floating-point arith\-metic
• Standardization and testing of implementations of mathematical functions in floating point numbers
• scientific article; zbMATH DE number 66728

Cited in

(1)

• Standardization and testing of mathematical functions

This page was built for publication: On the need to specify and verify standard functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2979883)