Terms containing formal verification technique

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