Terms for subject Programming containing formal verification technique

English	Russian
formal verification technique	метод формальной верификации (ssn)
formal verification techniques	методы формальной верификации (ssn)
formal-verification techniques	методы формальной верификации (Alex_Odeychuk)
role of formal verification techniques	роль методов формальной верификации (ssn)
technique for formal verification	метод формальной верификации (illinois.edu Alex_Odeychuk)