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

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