Terms for subject Information technology containing program proof

English	Russian
crash-proof program	живучая программа
crash-proof program	живучая программа (защищённая от разрушения)
crash-proof program	программа, устойчивая с сбою
crash-proof program	программа, устойчивая к сбою
crash-proof program	живучая программа (защищённая от разрушения)
formal program proof	формальное доказательство правильности программы
program correctness proof	доказательство правильности программы