formal verification 4 формальна верифікація IPCL 3 UDC 004.415.52 3 composition-nominative languages 3 concurrent program 3 interleaving 3 УДК 004.415.52 3 композиционно-номинативные языки 3 композиційно-номінативні мови 3 параллельная программа 3 формальная верификация 3 safety property proof 2 software correctness 2 доказательство частичной корректности 2 коректність програмного забезпечення 2 корректность программного обеспечения 2 паралельна програма 2 004.492 1 004.89 1 681.3 1 Peterson’s algorithm 1 UDC 004.415 1 constraints satisfaction 1 intrusion detection systems 1 invariant 1 liveness property 1 mutual exclusion 1 network traffic analysis 1 neural networks 1