formal verification 7 формальна верифікація IPCL 3 UDC 004.415.52 3 composition-nominative languages 3 concurrent program 3 insertion modeling 3 interleaving 3 neural networks 3 УДК 004.415.52 3 алгебра поведінок 3 композиционно-номинативные языки 3 композиційно-номінативні мови 3 нейронні мережі 3 параллельная программа 3 формальная верификация 3 інсерційне моделювання 3 algebra of behaviors 2 algebraic modeling 2 code vulnerabilities 2 cyber attack 2 cyber security 2 fuzzy testing 2 machine learning 2 safety property proof 2 software correctness 2 алгебраїчне моделювання 2 вразливості коду 2 доказательство частичной корректности 2 коректність програмного забезпечення 2