An unprovable error is one that no amount of testing can ever be assured of revealing. With computers becoming more networked and security becoming more important, should we be thinking about how our programming tools can avoid unprovable errors?
1 page [ 1 ]
Subscribe to be notified of new weblog posts by
Andrew Koenig
via RSS.
