Қидирув

верификациялаш

Тизим спецификацияларининг иккита даражасини (масалан, хавфсизлик сиёсати модели ва тизим спецификациялари, тизим спецификациялари ва бирламчи кодлар, бирламчи кодлар ва бажарилувчи кодлар) улар орасида керакли мувофиқликни ўрнатиш учун бир бирига солиштириш жараёни. Ушбу жараён тўлиқ ёки қисман автоматлаштирилган бўлиши мумкин.инглизчаverificationрусчаверификация