Los ordenadores se encargan del vuelo de los aviones comerciales, de los sistemas bancarios, de las comunicaciones, de las ventas al por menor y de muchos procesos fabriles. Poderosos instrumentos de verificación comprobarán la fiabilidad de los programas informáticos