AEIA: Reto 2: AA2.4: Desarrollar tecnologías de verificación y validación innovadoras y optimizadas