Search Results - Polishchuk, N.V.
Related Subjects
IPCL
UDC 004.415.52
composition-nominative languages
concurrent program
formal verification
interleaving
invariant
safety property proof
software correctness
УДК 004.415.52
доведення часткової коректності
доказательство частичной корректности
инвариант
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
паралельна програма
параллельная программа
формальна верифікація
формальная верификация
інваріант