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

The aim of the Platform-Independent Approach to Formal Specification and Verification of Standard Mathematical Functions project is the development of an incremental combined approach to specification and verification of standard mathematical functions like sqrt, cos, sin, etc. The term “platform-in...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Automatic control and computer sciences 2019-12, Vol.53 (7), p.595-616
Hauptverfasser:	Shilov, N. V., Kondratyev, D. A., Anureev, I. S., Bodin, E. V., Promsky, A. V.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Axioms Computer Science Control Structures and Microprogramming Fixed point arithmetic Fixed points (mathematics) Formal specifications Lookup tables Mathematical analysis Mathematical functions Numbers Real numbers Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!