Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000608231<.>) |
Загальна кількість знайдених документів : 1
|
Остаповська Ю. А. Доведення властивості коректної роботи банківської системи виплати грошових переказів / Ю. А. Остаповська, Т. В. Панченко, Н. В. Поліщук, М. О. Картавов // Проблеми програмування. - 2016. - N 2/3 (спец. вип.). - С. 119-132. - Бібліогр.: 10 назв. - укp.Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам'ять, для доведення властивості коректності банківської системи виплати грошових переказів. В роботі поставлено задачу, побудовано транзиційну систему для моделі зі спрощеним станом, сформульовано інваріант програми та проведено доведення істинності інваріанту над програмною системою у довільний момент часу. Зроблено висновки шодо зручності й адекватності застосування методу для доведення коректності паралельних систем. Індекс рубрикатора НБУВ: З973-018.10
Рубрики:
Шифр НБУВ: Ж69331 Пошук видання у каталогах НБУВ Повний текст Наукова періодика України Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|