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

static verification of programs מתח
.תִכנו	статическая верификация программ (Microsoft Alex_Odeychuk)