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