ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

9
Issue
vol 60 / SEPTEMBER, 2017
Article
UDC 681.142.2

SEARCH FOR PROCEDURE WITH THE USE OF FUNCTIONAL PROGRAM TRANSITION GRAPH TO VERIFY COMPUTATIONAL PROCESSES

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


A. . Zykov
ITMO University; Associate Professor


A. . Lazdin
Saint Petersburg National Research University of Information Technologies, Mechanics and Optics; Associate professor


V. I. Polyakov
ITMO University; Associate Professor


Read the full article 

Abstract. The problem of search of a procedure in software product to verify computational processes is analyzed and solved. An algorithm of search for a procedure initial address and its propagation in the address space of the application is proposed.
Keywords: verification, transition graph, functional application, procedure