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

automation of proofs מתח
.תִכנו	автоматизация доказательства правильности программ (корпорации AdaCore Alex_Odeychuk)