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