Маевский Д.А. Существует ли надежность программного обеспечения?

Критические компьютерные технологии и системы. Научно-технический семинар. Харьков, 14 с, 2013.
В этом докладе я не хочу кого-то поучать или излагать «истину в последней инстанции». Единственная его цель – приглашение к вдумчивому объяснению феномена программных ошибок и процесса их выявления, а также попытка найти понимание некоторого аспекта качества программного обеспечения, которое в настоящее время, скорее всего по инерции, называют «надежностью»