Terms for subject Programming containing доказанный

Russian	English
быть доказанно свободным от ошибок времени выполнения	be proven to be free of run-time errors (Alex_Odeychuk)
доказанное объективными результатами исследования подтверждение того, что	confirmation by examination and through provision of objective evidence that (ssn)
доказано практикой	proven-in-use (ssn)
доказать отсутствие ошибок во время выполнения	prove the absence of runtime exceptions (корпорации AdaCore Alex_Odeychuk)
доказать отсутствие ошибок времени выполнения	demonstrate the absence of run-time errors (Alex_Odeychuk)
доказать функциональную корректность программного обеспечения	demonstrate functional correctness (Washington Post Alex_Odeychuk)
не доказан формально	not formally proven (ssn)
Одна из слабостей графического представления, однако, состоит в том, что доказать такое равенство графически очень трудно	it is one of the weaknesses of pictures that proofs of such an equality are difficult to conduct pictorially (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)