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, Saint Petersburg, 197101, Russian Federation; 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
