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