Comment by byte_0

I can only think of Edsger Dijkstra's quote: "Program testing can be used to show the presence of bugs, but never to show their absence [...]". Adding that computers are mathematical models and Gödel's incompleteness theorems stating that a system cannot demonstrate its own consistency, I would say that it is likely that bugs/errors will always exist.