behavior algebra 3 UDC 004.05 2 algebraic matching 2 symbolic modeling 2 УДК 004.05 2 алгебра поведінок 2 алгебраїчне зіставлення 2 символьне моделювання 2 004.4[2+9] 1 004.94 1 519.7 1 UDC 519.85 1 formal verification 1 formalization 1 incompleteness 1 insertion modeling 1 legal text mining 1 modeldriven development 1 security properties 1 software vulnerabilities 1 supply chain 1 УДК 519.85 1 алгебра поведений 1 алгебра поведінки 1 алгебраическое сопоставление 1 властивості безпеки 1 вразливості програмного забезпечення 1 ланцюжок постачання 1 модельно-орієнтовані розробки 1 неповнота 1