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

formal verification technology מתח
.תוֹכנ	технология формальной верификации (adacore.com Alex_Odeychuk)