英语 ⇄ 俄语 +

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