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

model-based development and verification tool ударения
прогр.	инструментальное средство для управляемой моделями разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk)