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

technique for formal verification מתח
.תִכנו	метод формальной верификации (illinois.edu Alex_Odeychuk)