Russian ⇄ English Russian Ukrainian

верификация спецификаций stresses
data.prot.	Проверка соответствия спецификаций большего уровня детализации спецификациям меньшего уровня детализации, проводимая с помощью формальных средств