@article{Tolstoluzka_Tolstoluzkiy_Moroz_2017, title={Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм}, url={https://periodicals.karazin.ua/cscs/article/view/8264}, abstractNote={Наводиться визначення часопараметризованих мультипаралельних програм, які (на відміну від загальноприйнятого трактування паралельних програм) містять специфікації моментів початку виконання операцій/функцій, а також підмножини таких операцій/функцій. Обґрунтовується необхідність розробки нових методів верифікації часопараметризованих паралельних програм. Розкриваються етапи вирішення завдання компіляційного-семантичної верифікації часопараметризованих мультипаралельних програм в інтересах створення систем автоматичного синтезу високоефективних паралельних програм для обчислювальних систем різних класів. Наводиться приклад, що ілюструє основні етапи методу.}, number={4}, journal={Комп’ютерні науки та кібербезпека}, author={Tolstoluzka, Olena and Tolstoluzkiy, Dmitriy and Moroz, Olga}, year={2017}, month={Бер}, pages={26-34} }