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

perform formal proof and verification on code מתח
.תִכנו	выполнять формальное доказательство корректности и верификацию кода (корпорации AdaCore Alex_Odeychuk)