Beware of bugs in the above code; I have only proved it correct, not tried it.
-- Don Knuth
Re:More Encryption Is Not the Solution
by TheCoelacanth on Wednesday July 31, 2013 @09:47AM
(#6133595)
It's still completely infeasible without better tools for doing it automatically.
Suddenly, Dijkstra's insistence on developing the proof together with the program and providing it to any interested person doesn't seem to be the ridiculous idea that some people consider it to be, does it?