7 004.415 6 UDC 004.415.2.045 (076.5) 6 УДК 004.415.2.045 (076.5) 5 UDC 004.424 4 formal verification 4 УДК 004.424 4 формальна верифікація 4 IPCL 3 UDC 004.415 3 UDC 004.415.52 3 algorithm 3 composition-nominative languages 3 concurrent program 3 data 3 interleaving 3 programming 3 УДК 004.415 3 УДК 004.415.52 3 алгоритм 3 композиционно-номинативные языки 3 композиційно-номінативні мови 3 параллельная программа 3 програмування 3 формальная верификация 3 Model-Driven Development 2 Requirement Analysis 2 Software Model Transformation 2 UDC 004.415.2 2 UDC 004.415.5 2