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

automatic program verification tool מתח
.תִכנו	инструментальное средство автоматической верификации программ (Microsoft Alex_Odeychuk)