1. Moroz O. Compilation-semantic verification of time-parameterized multi-parallel programs for information management systems // Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems». 2022. (56). C. 43-50.