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

formal verification of implicit calls מתח
.תִכנו	формальная верификация неявных вызовов (adacore.com Alex_Odeychuk)