ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

8
Содержание
том 61 / АВГУСТ, 2018
СТАТЬЯ
УДК 681.142.2

ПОИСК ПРОЦЕДУР ПО ГРАФУ ПЕРЕХОДОВ ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ

Гедич А. А.
Университет ИТМО; доцент


Зыков А. Г.
Университет ИТМО; доцент


Лаздин А. В.
Университет ИТМО; доцент


Поляков В. И.
Университет ИТМО; доцент


Читать статью полностью 

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