Moroz, O. 2022. 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». 56, (Dec. 2022), 43-50. DOI:https://doi.org/10.26565/2304-6201-2022-56-04.