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

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