Las redes neuronales profundas (DNNs) han ganado considerable atención por sus capacidades expresivas, pero desafortunadamente tienen serios riesgos de robustez. La verificación formal es una técnica importante para garantizar la confiabilidad de la red. Sin embargo, las técnicas de verificación actuales son insatisfactorias en cuanto al rendimiento temporal, lo que dificulta las aplicaciones prácticas.