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