| English | Russian |
| automated formal verification of software | автоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
| deductive software verification | дедуктивная верификация программных систем (Alex_Odeychuk) |
| review of software verification methods | обзор методов верификации ПО (ssn) |
| review of software verification methods | обзор методов верификации программного обеспечения (ssn) |
| role of formal verification techniques in the context of software validation and testing | роль методов формальной верификации в контексте проверки соответствия и тестирования ПО (ssn) |
| semi-automated formal verification of software | полуавтоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
| software verification | верификация программных систем (Alex_Odeychuk) |
| software verification | верификация программных средств (ssn) |
| software verification | верификация программного обеспечения системы (см. IEC 61508-7: 2010 ssn) |
| software verification | верификация программного обеспечения (компании AdaCore, North American Office Alex_Odeychuk) |
| software verification and validation plan | план экспертизы программного обеспечения (этот план определяет, каким образом и в какой последовательности должны проверяться стадии проекта, а также сам продукт на соответствие поставленным требованиям. Верификация – это процесс проверки правильности сборки приложения; валидация проверяет тот факт, что собран требуемый продукт ssn) |
| software verification methods | методы верификации ПО (ssn) |
| software verification methods | методы верификации программного обеспечения (ssn) |
| software verification process | процесс верификации программных средств (ssn) |
| software verification process | процесс верификации программного обеспечения (Alex_Odeychuk) |
| software verification task | задача верификации программного обеспечения (ssn) |
| tool for software verification | инструментальное средство верификации программного обеспечения (Alex_Odeychuk) |
| verification environment for high-integrity software | среда верификации программного обеспечения с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| verification environment for high-integrity software | среда верификации высоконадёжного программного обеспечения (т.е. программного обеспечения с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| verification of asynchronous software systems | верификация асинхронных программных систем (ssn) |
| verification of hardware and software | верификация аппаратуры и программного обеспечения (ssn) |