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