אנגלית ⇄ רוסית +

model checking technique מתח
.תִכנו	метод верификации моделей (ssn); метод проверки моделей (ssn)