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

deductive software verification מתח
.תִכנו	дедуктивная верификация программных систем (Alex_Odeychuk)