| English | eng-000 |
| program verification | |
| 普通话 | cmn-000 | 程序检验 |
| 普通话 | cmn-000 | 程序验证 |
| ελληνικά | ell-000 | επαλήθευση προγράμματος |
| English | eng-000 | program certification |
| English | eng-000 | program check |
| English | eng-000 | program test |
| English | eng-000 | program testing |
| English | eng-000 | programmed check |
| русский | rus-000 | верификация программ |
| русский | rus-000 | верификация программы |
| русский | rus-000 | проверка правильности программы |
| українська | ukr-000 | верифікація програм |