2019
DOI: 10.3103/s0146411619070186
|View full text |Cite
|
Sign up to set email alerts
|

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

Abstract: ВведениеВ нашей статье речь пойдёт о, так сказать, "верификации в малом", то есть о верификации отдельных небольших программ и функций (в нашем случае, стандартных математических функций вообще и функции квадратного корня в частности). Но наряду с "верификацией в малом" существует и "верификация в большом" верификация сложных и больших комплексов программ, критических с точки зрения безопасности или миссии, как, например, программ управления космическим полётом, когда цена однократной программной ошибки может … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 20 publications
0
0
0
Order By: Relevance