La Universidad Politècnica de València se suma a la búsqueda del ‘software’ perfecto

La Universitat Politècnica de València (UPV), como miembro del Instituto Valenciano de Inteligencia Artificial (VRAIN), participa en el proyecto EuroProofNet, una red de investigación europea sobre pruebas digitales cuyo objetivo es contribuir a lograr el software libre de errores.

La ausencia de errores es la gran quimera de la industria del software. Desde las aplicaciones para móviles hasta sectores críticos como el control del tráfico o las transacciones bancarias, garantizar la ausencia de errores de la arquitectura informática es cada vez más necesario.

Noticia completa en Valencia Plaza.