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

задача верификации моделей מתח
.תִכנו	model checking problem (ssn)