Falsch. Da Software auf mathematischen Konzepten basiert, kann man Software schreiben, die keine einzige Lücke hat (d.h. exakt konform zur Spezifikation ist). Mit Programmverifikation kann man beweisen, dass Software korrekt ist. Und das ist nicht nur theoretisch möglich, sondern wird schon an vielen Stellen gemacht. An der Uni Karlsruhe werden bspw. Übersetzer verifiziert oder auch (in einer anderen Forschungsgruppe) JavaCard-Programme, die auf Smartcards laufen.