Microsoft anuncia el Santo Grial de la programación: el software infalible

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.
La división de Investigación y Desarrollo de Microsoft, Microsoft Research, anuncia que un grupo de sus científicos ha alcanzado un importante hito, que consiste en el desarrollo de un método que hace posible crear sistemas de software distribuido, con la capacidad de verificar y garantizar su infalibilidad.
La verificación de software ha sido un Santo Grial para la informática durante 40 o 50 años”, escribe Brian Parno, uno de los científicos de Microsoft participantes en el proyecto, y coautor de un artículo científico presentado la víspera en la conferencia 25° simposio de ACM sobre principios de sistemas operativos en Monterrey, California
http://diarioti.com/microsoft-anuncia-el-santo-grial-de-la-programacion-el-software-infalible/90688
http://research.microsoft.com/apps/pubs/default.aspx?id=255833