Terms for subject Software containing во

Russian	English
формальная верификация во время компиляции	compile-time verification (Alex_Odeychuk)
во время компоновки	link-time (Alex_Odeychuk)
во время процедуры обновления	during the upgrade procedure (Alex_Odeychuk)
во время разработки	during development (microsoft.com Alex_Odeychuk)
во время разработки и промышленной эксплуатации	in development and production phases (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk)
во время установки	during startup (Alex_Odeychuk)
корректность во время выполнения	correctness at compile time (InfoWorld Alex_Odeychuk)
отсутствие ошибок во время выполнения	freedom from run-time errors (adacore.com Alex_Odeychuk)