Noticias ciencia y tecnologia computacion internet

Investigadores de Microsoft exploran una manera práctica de diseñar un software libre de fallas

El equipo de investigadores que trabaja en IronFleet incluye a, desde arriba a la izquierda a Chris Hawblitzel, Brian Zill, John Howell, Michael Lowell Roberts, Bryan Parno, Manos Kapritsos, Jay Lorch y Srinath Setty. Investigadores de Microsoft han descubierto una manera de diseñar sistemas de software que abarcan muchas computadoras y que pueden ser probados sin fallas, una característica significativa en esta búsqueda, que ha durado décadas, por crear el software perfecto. “El programa de verificación…(read more)

Deja un comentario