Proceedings of the International scientific and practical conference ―Science and Society‖ (February 26-28, 2026) / Publisher website: www.naukainfo.com. – Kharkiv, Ukraine, 2026. - 355 p.

96 Однак деякий рух в цьому напрямку все ж присутній. Описана в [8] мова моделювання Promela з верифікатором SPIN дозволяє створити спрощену модель з існуючого коду з конструкціями паралелізму і верифікувати її. Проте автор не спромігся досягти рефакторингу, обмеживши потенційне застосування даної сукупності методів до покращення статичного аналізу коду. Не зважаючи на те, що сам метод лише верифікує відсутність проблем з синхронізацією потоків, даний метод є перспективним щодо виправлення моделі у разі наявності проблем з синхронізацією даних і генерації нового коду на її основі. Зрештою, можна виділити також напрямок тюнінгу паралелізму. Наприклад, в роботі [9] розглядається спосіб тюнінгу на основі симуляції мережі Петрі, що побудована на основі існуючого коду. Хоча розглядається мова програмування Java, однак загалом тюнінг стосується параметрів пулу потоків, який також присутній в C#. Таким чином, подібні методи мають потенціал бути застосованими для тонкого налаштування рівня паралелізму. В даному дослідженні пропонується комплексний підхід до автоматизації розробки паралельних обчислень на мові програмування C# шляхом поєднання описаних методів в одну цілісну систему (Рис. 1. Схема системи автоматизації розробки паралельних обчислень в готовому коді). Таким чином, можна використати сильні сторони кожного з підходів. Рис. 1. Схема системи автоматизації розробки паралельних обчислень в готовому коді