Platform-independent Specification and Verification of the Standard Mathematical Square Root Function

The project “Platform-independent approach to formal specification and verification of standard mathematical functions” is aimed onto the development of incremental combined approach to specification and verification of standard Mathematical functions like sqrt, cos, sin, etc. Platform-independence...

முழு விளக்கம்

சேமிக்கப்பட்டது:

நூற்பட்டியல் விவரங்கள்
முதன்மை ஆசிரியர்கள்:	Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Eugene V. Bodin, Alexei V. Promsky
வடிவம்:	Artigo
மொழி:	Inglês
வெளியிடப்பட்டது:	Yaroslavl State University 2018-12-01
தொடர்:	Моделирование и анализ информационных систем
பொருள்கள்:	fix-point numbers floating-point numbers computer arithmetic formal verification partial and total correctness hoare triples floyd verification method of inductive assertions exact function square root function newton–raphson method look-up table
ஆன்லைன் அணுகல்:	https://www.mais-journal.ru/jour/article/view/764
குறிச்சொற்கள்:	குறிச்சொல்லை சேர்க்கவும் டாக்‌ஸ் இல்லை, இந்த பதிவுக்கு குறிச்சொல் சேர்க்கும் முதல் நபராக இருங்கள்!

Platform-independent Specification and Verification of the Standard Mathematical Square Root Function

ஒத்த வளங்கள்