004.4[2+9] 1 004.94 1 519.7 1 UDC 004.05 1 algebraic matching 1 behavior algebra 1 software vulnerabilities 1 symbolic modeling 1 УДК 004.05 1 алгебра поведений 1 алгебра поведінок 1 алгебраическое сопоставление 1 алгебраїчне зіставлення 1 вразливості програмного забезпечення 1 символьне моделювання 1 символьное моделирование 1 уязвимости программного обеспечения