 |
| |||
| assertion checker | |||
| verifier (контроля) | |||
| verifier | |||
| программа верификации: 26 phrases in 11 subjects |
| Astronautics | 1 |
| Automated equipment | 4 |
| Construction | 1 |
| Electronics | 1 |
| Energy industry | 2 |
| Information technology | 3 |
| Mass media | 1 |
| Mathematics | 1 |
| Programming | 6 |
| Software | 2 |
| Technology | 4 |