filtering algorithms by which each packet is compared with the
known pattern o f authorized packets.
Верификация - процесс сравнения двух уровней специ
фикации средств вычислительной техники или их комплексов
на надлежащее соответствие. В программировании доказатель
ство правильности программ. Различают два подхода к верифи
кации: статические и конструктивные методы.
Verifikatsiya - hisoblash vositalari yoki ulaming kompleksi
spetsifikatsiyasining ikki sathini tegishli
moslikka taqqoslash jara-
yoni. Dasturlashda - dastur to‘g‘riligining tasdig‘i. Verifikatsiyaga
ikkita yondashish farqlanadi: statik va konstruktiv usullar.
Verification - the process o f comparing two levels o f spe
cification o f computer equipment or systems for proper alignment.
Also - programming proof o f the correctness o f programs. There are
two approaches to verification: static and constructive methods.
