Результати пошуку - Polishchuk, N.V.
- Показ 1 - 1 результатів із 1
-
1
Correctness Property Proof for the Banking System for Money Transfer Payments за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.
Опубліковано 2018Отримати повний текст
Стаття
Інструменти для пошуку:
Пов'язані теми
IPCL
UDC 004.415.52
composition-nominative languages
concurrent program
formal verification
interleaving
invariant
safety property proof
software correctness
УДК 004.415.52
доведення часткової коректності
доказательство частичной корректности
инвариант
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
паралельна програма
параллельная программа
формальна верифікація
формальная верификация
інваріант