Suchergebnisse - Polishchuk, N.V.
- Treffer 1 - 1 von 1
-
1
Correctness Property Proof for the Banking System for Money Transfer Payments von Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.
Veröffentlicht 2018Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
IPCL
UDC 004.415.52
composition-nominative languages
concurrent program
formal verification
interleaving
invariant
safety property proof
software correctness
УДК 004.415.52
доведення часткової коректності
доказательство частичной корректности
инвариант
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
паралельна програма
параллельная программа
формальна верифікація
формальная верификация
інваріант