English ⇄ Russian +

model checking technique stresses
progr.	метод верификации моделей (ssn); метод проверки моделей (ssn)