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