| Subject | English | Russian |
| progr. | role of formal verification techniques in the context of software validation and testing | роль методов формальной верификации в контексте проверки соответствия и тестирования ПО (ssn) |
| progr. | role of testing in verification and validation | роль тестирования в верификации и валидации (ssn) |
