1. Moroz O. Тechnology of semantic-numerical verification of time-parameterized parallel programs for information and control systems // Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems». 2022. (55). C. 32-37.