RUS  ENG
Полная версия
ЖУРНАЛЫ // Информатика и автоматизация // Архив

Тр. СПИИРАН, 2015, выпуск 38, страницы 233–245 (Mi trspy785)

Эта публикация цитируется в 1 статье

Верификация программ на основе соотношений подобия

В. В. Ковалев, Р. И. Компаниец, В. А. Новиков

Военно-космическая академия им. А. Ф. Можайского

Аннотация: Описывается подход к статической верификации исполняемых программ на основе сопоставления семантических аспектов вычислений, позволяющий построить паспорт  программы. Паспорт, как результат статической верификации, может быть использован для создания среды контролируемого выполнения программ (динамической верификации реально выполняемых программ, прошедших статическую верификацию).

Ключевые слова: верификация; управляющий граф; абстрактные размерности; определяющие отношения, подобие.

УДК: 004.056.57

DOI: 10.15622/sp.38.13



Реферативные базы данных:


© МИАН, 2024