Доведення коректності паралельних програм є складною задачею, оскільки стан окремих потоків виконання може змінитись навіть у час їх простою через взаємний вплив один на інший через спільні змінні або механізм повідомлень. Класичні методи типу Флойда - Хоара не застосовні у цьому випадку напряму і необхідні нові нетривіальні підходи, які враховують це ускладнення. Доведено тотальну коректність комерційної системи Infosoft e-Detailing 1.0 з використанням методу для доведення коректності програм (для визначеного спеціального класу програм - а саме серверного програмного забезпечення в архітектурі Symmetric Multi-Processing як-то сервер баз даних або веб-сервер). Спираючись на дану та інші роботи авторів зроблено висновки щодо адекватності застосування методу для подібних задач завдяки гнучкості композиційно-номінативної платформи та його практичності і легкості застосування для реальних систем.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Панченко Тетяна Василівна (політичні науки)
• Панченко Тетяна Василівна (фізико-математичні науки)
• Панченко Тетяна Володимирівна (педагогічні науки)
• Панченко Тарас Володимирович (фізико-математичні науки)
• Панченко Тарас Валентинович (сільськогосподарські науки)
• Бурєннікова Наталія Вікторівна (економічні науки)
• Поліщук Наталія Володимирівна (технічні науки)
• Поліщук Наталія Володимирівна (економічні науки)
• Поліщук Наталія Валеріївна (економічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"