Великий французский математик Анри Пуанкаре в 1908 г. предложил дополнить три стадии Гельмгольца четвертой, Верификацией. Пуанкаре описал стадию Верификации как придание решению конкретной формы и проверку его на наличие ошибок и на полезность (рис. 1.2).