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