Terms for subject Programming containing model technique

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