> -- Дмитрий Дагаев писал(а):
> Верификация посредством тестирования доказательством корректности не является.
Совершенно верно.
Можно сколько угодно тестов написать, но если память сбоит -- то код даже после верификатора будет глючить.
Доказательство трудоёмко и зачастую невозможно. Есть замечательная русская пословица:"Гладко было на бумаге да забыли про овраги"