ПОИСК ПРОЦЕДУР ПО ГРАФУ ПЕРЕХОДОВ ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Университет ИТМО; доцент
Зыков А. Г.
Университет ИТМО; доцент
Лаздин А. В.
Университет ИТМО; доцент
Поляков В. И.
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; ординарный доцент
Читать статью полностью
Аннотация. Решена задача поиска процедур в программном продукте при верификации вычислительного процесса, реализованного в виде программы. Предложен алгоритм поиска начальных адресов процедур и их распространения в адресном пространстве программы.
Ключевые слова:
верификация, граф переходов, функциональная программа, процедура
