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.