004.492 1 004.89 1 UDC 004.415.52 1 constraints satisfaction 1 formal verification 1 intrusion detection systems 1 network traffic analysis 1 neural networks 1 satisfiability modulo theories 1 УДК 004.415.52 1 аналіз мережевих даних 1 задача виконуваності обмежень 1 нейронні мережі 1 системи виявлення вторгнень 1 формальна верифікація 1