Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам'ять, для доведення властивості коректності банківської системи виплати грошових переказів. В роботі поставлено задачу, побудовано транзиційну систему для моделі зі спрощеним станом, сформульовано інваріант програми та проведено доведення істинності інваріанту над програмною системою у довільний момент часу. Зроблено висновки шодо зручності й адекватності застосування методу для доведення коректності паралельних систем.

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

---

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

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

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