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).
Highlights
Выполним формальный анализ представленных на рисунке 2 элементарных артикулирующих компонентов программ (АКП), используя технику ограниченных символьных вычислений, положения теорий размерностей и подобия для чего предположим, что у нас имеется отображение Т : X →[X], которое ставит в соответствие каждому xi∈X некоторую абстрактную сущность или размерность [xi]
В предложенном методе динамическая верификация осуществляется как обязательная предопределенная процедура при каждом выполнении прошедшего статическую верификацию ПО
Summary
Описывается подход к статической верификации исполняемых программ на основе сопоставления семантических аспектов вычислений, позволяющий построить паспорт программы. Как результат статической верификации, может быть использован для создания среды контролируемого выполнения программ (динамической верификации реально выполняемых программ, прошедших статическую верификацию). Верификация осуществляется на основе анализа однозначности функциональности ветвей в пределах артикулирующих компонентов программ (АКП), т.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
