Un equipo de investigadores del Instituto IMDEA Software, la Universidad Carlos III de Madrid (UC3M) y NEC Laboratories Europe ha introducido un novedoso marco que promete mejorar la eficiencia y practicidad de la computación verificable
Al igual que en ediciones anteriores, en 2024 el Instituto ha participado en el Foro Transfiere en el Espacio de Investigación e Innovación de la Comunidad de Madrid