Наукова періодика України | Проблеми програмування | ||
Остаповська Ю. А. Доведення властивості коректної роботи банківської системи виплати грошових переказів / Ю. А. Остаповська, Т. В. Панченко, Н. В. Поліщук, М. О. Картавов // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 119-132. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3%28spets.__15 Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам'ять, для доведення властивості коректності банківської системи виплати грошових переказів. В роботі поставлено задачу, побудовано транзиційну систему для моделі зі спрощеним станом, сформульовано інваріант програми та проведено доведення істинності інваріанту над програмною системою у довільний момент часу. Зроблено висновки шодо зручності й адекватності застосування методу для доведення коректності паралельних систем. Цитованість авторів публікації: Бібліографічний опис для цитування: Остаповська Ю. А. Доведення властивості коректної роботи банківської системи виплати грошових переказів / Ю. А. Остаповська, Т. В. Панченко, Н. В. Поліщук, М. О. Картавов // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 119-132. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3(spets.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |