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

automatic analysis and verification מתח
.תוֹכנ	автоматический статический анализ и формальная верификация программного обеспечения (Electronic Design Alex_Odeychuk)