Terms containing formal validation

Subject	English	Russian
IT	formal program validation	формальное доказательство правильности программы
math.	formal validation	формальное доказательство
progr.	role of formal verification techniques in the context of software validation and testing	роль методов формальной верификации в контексте проверки соответствия и тестирования ПО (ssn)