S. K. Ganiyev, M. M. Karimov, ica. Tashev

Верификация - процесс сравнения двух уровней специ­фикации средств вычислительной техники или их комплексов на надлежащее соответствие. В программировании доказатель­ство правильности программ. Различают два подхода к верифи­кации: статические и конструктивные методы.

Verifikatsiya - hisoblash vositalari yoki ularning kompleksi spetsifikatsiyasining ikki sathini tegishli moslikka taqqoslash jara- yoni. Dasturlashda - dastur to‘g‘riligining tasdig‘i. Verifikatsiyaga ikkita yondashish farqlanadi: staiik va konstruktiv usullar.

Verification - the process of comparing two levels of spe­cification of computer equipment or systems for proper alignment. Also - programming proof of the correctness of programs. There are two approaches to verification: static and constructive methods.