Moroz O. Тechnology of semantic-numerical verification of time-parameterized parallel programs for information and control systems. МІА [Internet]. 2022Oct.31 [cited 2024Dec.20];55:32-7. Available from: https://periodicals.karazin.ua/mia/article/view/22592