On the need to specify and verify standard functions

zbMATH Open1374.68117MaRDI QIDQ2979883FDOQ2979883

Authors: Nikolay V. Shilov 

Publication date: 26 April 2017

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

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

zbMATH Keywords

formal specificationformal program verificationmathematical functionstandard library

Mathematics Subject Classification ID

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

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)