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

software model checking מתח
.תִכנו	проверка модели программного обеспечения (Microsoft Alex_Odeychuk)