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

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