IPCL 3 composition-nominative languages 3 concurrent program 3 formal verification interleaving 3 композиционно-номинативные языки 3 композиційно-номінативні мови 3 параллельная программа 3 формальна верифікація 3 формальная верификация 3 UDC 004.415.52 2 safety property proof 2 software correctness 2 УДК 004.415.52 2 доказательство частичной корректности 2 коректність програмного забезпечення 2 корректность программного обеспечения 2 паралельна програма 2 681.3 1 Peterson’s algorithm 1 UDC 004.415 1 invariant 1 liveness property 1 mutual exclusion 1 software total correctness 1 УДК 004.415 1 алгоритм Петерсона 1 алгоритм Пітерсона 1 взаимное исключение 1 взаємне виключення 1