Hoe kunnen we ervoor zorgen dat software ALTIJD doet wat we er van verwachten.
Software neemt in hoog tempo de allerlei essentiele taken in de samenleving over.
Meestal doet ze dat heel goed, maar vergeleken met andere door mensen gemaakte
artefacten is ze toch relatief onbetrouwbaar. En als het mis gaat met software, gaat het
meestal goed mis (treinen die een dag niet rijden, pinbetalingen die niet meer mogelijk zijn,
honderduizenden belastingaangiften die verdwenen zijn, uitval van stroom in groot deel
Noord-Amerika, vermoeden van duizenden doden door falende software in pacemakers).
Er zijn genoeg aanwijzingen dat de kwaliteit van software nog aanzienlijk verbeterd kan
worden, maar er is nog veel onderzoek nodig om dit zo efficient en effectief te maken
dat dit overal wordt gebruikt.