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...

Descrizione completa

Dettagli Bibliografici

Autori principali:	Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Eugene V. Bodin, Alexei V. Promsky
Natura:	Artigo
Lingua:	Inglês
Pubblicazione:	Yaroslavl State University 2018-12-01
Serie:	Моделирование и анализ информационных систем
Soggetti:	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
Accesso online:	https://www.mais-journal.ru/jour/article/view/764
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!