Английский ⇄ Русский +

automatic analysis and verification ударения
ПО.	автоматический статический анализ и формальная верификация программного обеспечения (Electronic Design Alex_Odeychuk)