A medida que construimos sistemas cada vez más complejos, cometemos cada vez más errores sutiles pero de gran impacto. A medida que utilizamos los ordenadores para más cosas y construimos sistemas más complejos, este problema de falta de fiabilidad e inseguridad se agrava y no parece que vaya a remitir pronto.