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. Imagen: http://diarioti.com/microsoft-anuncia-el-santo-grial-de-la-programacion-el-software-infalible/90688