|
This article is cited in 1 scientific paper (total in 1 paper)
Verification of Programs Based on Similarity Relations
V. V. Kovalyov, R. I. Kompaniets, V. A. Novikov
Military space Academy named of A.F. Mozhayskiy
Abstract:
The static verification method of programs based on comparison of the semantic aspects of computing, that allows to build a program passport is described. Passport as a result of the static verification may be used to create an environment of the controlled program run (dynamic verification of the really running programs, which have passed static verification).
Keywords:
verification; control graph; abstract dimensions; determinant relations; similarity.
Citation:
V. V. Kovalyov, R. I. Kompaniets, V. A. Novikov, “Verification of Programs Based on Similarity Relations”, Tr. SPIIRAN, 38 (2015), 233–245
Linking options:
https://www.mathnet.ru/eng/trspy785 https://www.mathnet.ru/eng/trspy/v38/p233
|
| Statistics & downloads: |
| Abstract page: | 119 | | Full-text PDF : | 61 |
|
Contact us: