Terms for subject Programming containing метод ролей

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