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

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