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