| Subject | English | Russian |
| progr. | more complex verification techniques based on continuous time | более сложные методы верификации, основанные на непрерывном времени (ssn) |
| progr. | verification techniques based on continuous time | методы верификации, основанные на непрерывном времени (ssn) |
