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

formal method verification toolset מתח
.תִכנו	комплект инструментальных средств формальной верификации программного обеспечения (Alex_Odeychuk)