Обеспечение надежности программ (program reliability support) — метод информатики, состоящий из совокупности синтаксических и семантических средств и способов их применения, обеспечивающих автоматическое обнаружение, локализацию, индикацию и устранение ошибок и исключительных ситуаций в процессе выполнения программ путем введения избыточности только для идентификации и автоматического устранения ошибок.
[Словарь понятий по информатике от Н до С. Семенов А. А. (Электронный ресурс). Режим доступа: http://asemenov77.narod.ru/, свободный]