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

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