Terms for subject Programming containing checking technique

English	Russian
model checking technique	метод проверки моделей (ssn)
model checking technique	метод верификации моделей (ssn)