Kuropiatnyk, O.S. and Yakovenko, B.M. 2021. Identification of the Program Text and Algorithm Correspondence Based on the Control Graph Constructive-Synthesizing Model . Science and Transport Progress . 4(94) (Aug. 2021), 12–24. DOI:https://doi.org/10.15802/stp2021/245666.