Moroz, O. 2022. Т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». 55, (Oct. 2022), 32-37. DOI:https://doi.org/10.26565/2304-6201-2022-55-03.