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

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