Terms for subject Programming containing verification technique

English	Russian
formal verification technique	метод формальной верификации (ssn)
technique for formal verification	метод формальной верификации (illinois.edu Alex_Odeychuk)
verification technique	метод проверки (ssn)
verification technique	метод верификации (ssn)
verification technique for embedded systems	метод формальной верификации встроенных систем (illinois.edu Alex_Odeychuk)