"The presence of such errors in a program is not evidence of poor workmanship on the part of the programmers," he wrote. "[The fact is] that no complex program can ever be run through all its possible states or conditions in order to permit its designers to check that what they think ought to happen actually does happen."
Problem of debugging. Can we solve it by creating multi-state visual debugger?
