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

code verification performed by the compiler מתח
.תִכנו	верификация кода компилятором (корпорации AdaCore Alex_Odeychuk)