Корректность программного обеспечения – свойство безошибочной реализации требуемого алгоритма, при отсутствии таких мешающих факторов, как: ошибки входных данных, ошибки операторов ЭВМ (людей), сбоев и отказов ЭВМ.
[Камаев В. А., Костерин В. В. Основные термины и определения. Технологии программирования. Факультет электроники и вычислительной техники (ФЭВТ) (ВолгГТУ). (Электронный ресурс). Режим доступа: http:// fevt.ru /, свободный.]