Científicos de Microsoft anuncian un hito informático que podría tener gran relevancia para entornos de programación: la verificación automática de fiabilidad del software.