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

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