ON THE NEED TO SPECIFY AND VERIFY STANDARD FUNCTIONS
Nikolay V. Shilov · Bulletin of the Novosibirsk Computing Center Series Computer Science · 2015
The problem of validation of standard mathematical functions and libraries is well-recognized by industrial and academic professional community but still is poorly understood by freshmen and inexperienced developers.The paper gives and discusses two examples (from the author's pedagogical experience) when formal specification and verification of standard functions do help and are needed.