Etiqueta: conversiones temporales
Diseñan un software libre de errores
Un equipo de la Universidad de Barcelona, junto con las empresas Formal Vindications y Guretruck, ha desarrollado un sistema para conseguir programas informáticos libres de errores. Con métodos de la lógica matemática, esta tecnología revolucionaria hace posible un software infalible.
