| Subject | English | Russian |
| progr. | automated checker | инструмент автоматической проверки (корпорации AdaCore Alex_Odeychuk) |
| progr. | automated safety checker | инструмент автоматической проверки функциональной безопасности приложений (корпорации AdaCore Alex_Odeychuk) |