Тестирование программы может весьма эффективно продемонстрировать наличие ошибок, но безнадежно неадекватно для демонстрации их отсутствия.
— Эдсгер Вибе Дейкстра
Эдсгер Вибе Дейкстра
9 цитат
Э́дсгер Ви́бе Де́йкстра — нидерландский учёный, труды которого оказали влияние на развитие информатики и информационных технологий; один из разработчиков концепции структурного программирования, исследователь формальной верификации и распределённых вычислений. ... Тьюринговский лауреат (1972).