Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- IPCL 2
- composition-nominative languages 2
- concurrent program 2
- formal verification 2
- interleaving 2
- safety property proof 2
- software correctness
- доказательство частичной корректности 2
- композиционно-номинативные языки 2
- композиційно-номінативні мови 2
- коректність програмного забезпечення 2
- корректность программного обеспечения 2
- параллельная программа 2
- формальна верифікація 2
- формальная верификация 2
- 681.3 1
- UDC 004.415 1
- UDC 004.415.52 1
- invariant 1
- УДК 004.415 1
- УДК 004.415.52 1
- доведення часткової коректності 1
- инвариант 1
- паралельна програма 1
- інваріант 1
-
1
Correctness Property Proof for the Banking System for Money Transfer Payments
Published 2018Get full text
Article -
2