| Subject | English | Russian |
| progr. | analyzability and provability of program properties | анализируемость и доказуемость свойств программы (Electronic Design Alex_Odeychuk) |
| progr. | analyzability of the code | анализируемость кода (корпорации AdaCore Alex_Odeychuk) |