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

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